Keyword:regular languages

Papers
The Complexity of Mathematics Frank Vega EasyChair Preprint no. 3062
The Complexity of the Twin Prime Conjecture Frank Vega EasyChair Preprint no. 3388
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