Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.