Skip navigation
The Australian National University

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

Citation

Tiu, A, Ianovski, E & Gore, R 2012, 'Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures', Advances in Modal Logic (AiML 2012), College Publications, Kings College London, pp. 1-22.

Year

2012

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers