Handbook of Logic in Computer Science: Volume 3: Semantic Structures: by S. Abramsky
by S. Abramsky
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures: by S. Abramsky
by S. Abramsky
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling: Handbk Of Logic In Computer Sc: by S. Abramsky
by S. Abramsky
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures: Handbk Of Logic In Compute: by S. Abramsky
by S. Abramsky
Tapsoft '91: Proceedings Of The International Joint Conference On Theory And Practice Of Software Development, Brighton, Uk, April: by S. Abramsky
by S. Abramsky