The Boolean Algebra of Piecewise Testable Languages

Anton Konovalov, Victor L. Selivanov. The Boolean Algebra of Piecewise Testable Languages. In Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska, editors, Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Volume 9709 of Lecture Notes in Computer Science, pages 292-301, Springer, 2016. [doi]

Abstract

Abstract is missing.