Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.

Alwen Tiu, Egor Ianovski, Rajeev Gor

Browse the full AiML paper archive.