T. S. E. Maibaum profile picture

T. S. E. Maibaum

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
Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods