Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

Structural Complexity II /
by: Balcázar, José Luis
Published: (1990)

Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings /
by: Venturini Zilli, Marisa
Published: (1987)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
by: Crossley, John N.
Published: (1993)

Handbook of Logic and Proof Techniques for Computer Science /
by: Krantz, Steven G.
Published: (2002)

Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 /
by: Selman, Alan L.
Published: (1990)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

Many-Valued Logics : 1: Theoretical Foundations /
by: Bolc, Leonard
Published: (1992)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings /
by: Main, Michael G.
Published: (1990)

CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings /
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Structural Complexity I /
by: Luis Balcázar, José
Published: (1995)

An Introduction to Kolmogorov Complexity and Its Applications /
by: Li, Ming
Published: (1997)

Logic of Computation /
by: Schwichtenberg, Helmut
Published: (1997)

Elements of Finite Model Theory /
by: Libkin, Leonid
Published: (2004)

Computable Analysis : an Introduction /
by: Weihrauch, Klaus
Published: (2000)

Structural Complexity I /
by: Balcázar, José Luis
Published: (1988)

Boolean Functions and Computation Models /
by: Clote, Peter
Published: (2002)

Finite Automata, Formal Logic, and Circuit Complexity /
by: Straubing, Howard
Published: (1994)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

Substructural logics /
Published: (2023)

Relations and Graphs : Discrete Mathematics for Computer Scientists /
by: Schmidt, Günther
Published: (1993)

Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7-10, 1993 Proceedings /
Published: (1994)

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings /
by: Kirchner, H. (Hélène)
Published: (1996)

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)