You are here: Home › Author › Samson Abramsky
Samson Abramsky

Samson Abramsky

23 books

Basic Proof Theory

Basic Proof Theory

by Anne S. Troelstra

3.91 of 11

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

by Alan P. Parkes

2.83 of 6

Handbook of Logic in Computer Science 5

Handbook of Logic in Computer Science 5

by Samson Abramsky

3.33 of 3

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (Lecture Notes in Computer Science, 6199)

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (Lecture Notes in Computer Science, 6199)

by Samson Abramsky

5.00 of 1

Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

by Andrea Cantini

5.00 of 1

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes in Computer Science, 6198)

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes in Computer Science, 6198)

by Samson Abramsky

4.00 of 1

Abstract Interpretation of Declarative Languages

Abstract Interpretation of Declarative Languages

by Samson Abramsky

4.00 of 1

Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Series Number 10)

Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Series Number 10)

by Ken McEvoy

4.00 of 1

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

by Samson Abramsky

3.00 of 1

Handbook of Logic in Computer Science, Volume 4

Handbook of Logic in Computer Science, Volume 4

by Samson Abramsky

2.00 of 1

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

by Samson Abramsky

2.00 of 1

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991 -- Volume 2

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991 -- Volume 2

by Samson Abramsky

0.0 of 0

Dependence Logic: Theory and Applications

Dependence Logic: Theory and Applications

by Samson Abramsky

0.0 of 0

Introduction to Categories and Categorical Logic

Introduction to Categories and Categorical Logic

by Samson Abramsky

0.0 of 0

A Categorical Semantics of Quantum Protocols

A Categorical Semantics of Quantum Protocols

by Samson Abramsky

0.0 of 0

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

by Samson Abramsky

0.0 of 0

Mathematical Foundations of Information Flow: Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation: March 12-15, 2008, ... of Symposia in Applied Mathematics, 71)

Mathematical Foundations of Information Flow: Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation: March 12-15, 2008, ... of Symposia in Applied Mathematics, 71)

by Samson Abramsky

0.0 of 0

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science, 2044)

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science, 2044)

by Samson Abramsky

0.0 of 0