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
Chris Heunen