Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

Extensions of First-Order Logic

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

The Uncertain Reasoner's Companion

A Mathematical Perspective

Logic and Computation

Interactive Proof with Cambridge LCF

Formal Methods in Artificial Intelligence

Topology via Logic

Algorithmic Information Theory

Updating Logical Databases

The Optimal Implementation of Functional Programming Languages

Mathematical Foundations of Information Flow

Dependence Logic

Theory and Applications

Dependence Logic

Theory and Applications

Dependence Logic

Theory and Applications

Category Theory and Computer Programming

Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Category Theory and Computer Science

Paris, France, September 3-6, 1991. Proceedings

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

Extensions of First-Order Logic

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

The Uncertain Reasoner's Companion

A Mathematical Perspective

Logic and Computation

Interactive Proof with Cambridge LCF

Formal Methods in Artificial Intelligence

Topology via Logic

Algorithmic Information Theory

Updating Logical Databases

The Optimal Implementation of Functional Programming Languages

Mathematical Foundations of Information Flow

Dependence Logic

Theory and Applications

Dependence Logic

Theory and Applications

Dependence Logic

Theory and Applications

Category Theory and Computer Programming

Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Category Theory and Computer Science

Paris, France, September 3-6, 1991. Proceedings

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I