S. Abramsky profile picture

S. Abramsky

Is this your author profile? Create an account to claim and customize it!

Handbook of Logic in Computer Science: Volume 5
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
TAPSOFT '91
Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods
Handbook of Logic in Computer Science Semantic structures
TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)