S. Abramsky profile picture

S. Abramsky

Stand Alone

Handbook of Logic in Computer Science 5
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Handbook of Logic in Computer Science)
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