Toggle navigation
Home
People
Departments
Research
About
Login
Search
Handbook of Logic in Computer Science Logic and algebraic methods
Books
Overview
Research
View All
Overview
authors
Abramsky, Samson
Gabbay, Dov M
Maibaum, Thomas
status
published
publication date
2000
Research
keywords
Computer science