HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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