A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs.

Anupam Das Abhishek De

Published in: IJCAR (2) (2024)

Keyphrases

proof theory
context free languages
default reasoning
context free
grammatical inference
automated reasoning
context free grammars
regular languages
theorem prover
theorem proving
inductive inference
decision procedures
reasoning problems
special case
context dependent
positive data
context sensitive