Algebra, combinatorics and logic in computer science /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Elsevier Science Pub. Co.,
[1986]
|
| Series: | Colloquia mathematica Societatis János Bolyai ;
42. |
| Subjects: |
Similar Items
Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01) /
Published: (2001)
Published: (2001)
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)
Published: (1999)
Logical and mathematical methods for IBM microcomputers /
by: Sanchez, Julio, 1938-
Published: (1991)
by: Sanchez, Julio, 1938-
Published: (1991)
Toposes, algebraic geometry and logic /
Published: (1972)
Published: (1972)
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
Published: (1994)
Published: (1994)
An algebraic introduction to mathematical logic /
by: Barnes, Donald W.
Published: (1975)
by: Barnes, Donald W.
Published: (1975)
Algebraic logic.
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1962)
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1962)
Logic of algebra /
by: Dienes, Paul, 1882-1952
Published: (1938)
by: Dienes, Paul, 1882-1952
Published: (1938)
Combinatorics, complexity, & logic : proceedings of DMTCS '96 /
Published: (1997)
Published: (1997)
Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician Petr Sergeevich Novikov.
Published: (2003)
Published: (2003)
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /
Published: (1996)
Published: (1996)
Logic and Boolean algebra /
by: Levitz, Kathleen
Published: (1979)
by: Levitz, Kathleen
Published: (1979)
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] /
Published: (1991)
Published: (1991)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
Published: (1975)
Published: (1975)
Algebraic methods of mathematical logic /
by: Rieger, Ladislav, 1916-1963
Published: (1967)
by: Rieger, Ladislav, 1916-1963
Published: (1967)
Algebraic Logic and Universal Algebra in Computer Science : Proceedings of a Conference, Ames, Iowa, USA. June 1-4, 1988 /
by: Bergman, Clifford H.
Published: (1990)
by: Bergman, Clifford H.
Published: (1990)
Algebra and logic.
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 /
Published: (1987)
Published: (1987)
Logical frameworks /
Published: (1991)
Published: (1991)
Logic and algebra of specification /
Published: (1993)
Published: (1993)
Handbook of logic in computer science /
Published: (1992)
Published: (1992)
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings /
Published: (1992)
Published: (1992)
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /
Published: (1991)
Published: (1991)
Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
Published: (1993)
Published: (1993)
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)
Published: (1985)
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
Published: (1996)
Published: (1996)
Logic and arithmetic /
by: Bostock, David
Published: (1974)
by: Bostock, David
Published: (1974)
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Published: (1994)
Published: (1994)
Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
Published: (2007)
Published: (2007)
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings /
Published: (1990)
Published: (1990)
Algebra and logic.
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
Published: (1991)
Published: (1991)
Mathematical logic and theoretical computer science /
Published: (1987)
Published: (1987)
Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
Published: (1990)
Published: (1990)
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings /
Published: (1988)
Published: (1988)
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings /
Published: (1990)
Published: (1990)
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992: proceedings /
Published: (1992)
Published: (1992)
Algebraic and logic programming : proceedings of an international workshop held in Gaussig (GDR), November 14-18, 1988 /
Published: (1988)
Published: (1988)
Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)
by: Rieger, Ladislav, 1916-1963
Published: (1967)
Arithmetic and logic in computer systems /
by: Lu, Mi
Published: (2004)
by: Lu, Mi
Published: (2004)