HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.