Keyword:regular languages

Publications
The Complexity of the Twin Prime Conjecture Frank Vega EasyChair Preprint 3388
The Complexity of Mathematics Frank Vega EasyChair Preprint 3062
Decidable Inequalities over Infinite Trees Sabine Bauer, Steffen Jost and Martin Hofmann In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs Anupam Das, Amina Doumane and Damien Pous In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning