A proof theory of right-linear (ω-)grammars via cyclic proofs.

Anupam Das Abhishek De

Published in: LICS (2024)

Keyphrases

proof theory
default reasoning
reasoning problems
proof theoretic
cut elimination
decision procedures
theorem proving