Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
(current)
News & Events
About Us
Alumni
Our Students
Innovation
Home
Research
Quantum
Piecewise Boolean algebras and their domains
Piecewise Boolean algebras and their domains
Chris Heunen
Book Title
41st International Colloquium on Automata‚ Logic‚ and Programming
Pages
208−219
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8573
Year
2014
Links
BibTeX
DOI
(10.1007/978-3-662-43951-7_18)
See Also
Chris Heunen
Quantum Group
Quantum
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Data and Knowledge
Human Centered Computing
Programming Languages
Quantum
Activities
Projects
People
Publications
Security
Systems
Back to Top