The Boolean Algebra of Piecewise Testable Languages.

Anton Konovalov Victor L. Selivanov

Published in: CiE (2016)

Keyphrases

boolean algebra
constraint query languages
expressive power
cardinality constraints
theorem prover
databases
functional programming
upper approximation