Grammar Logics in Nested Se... - Researchers

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

ANU Authors

Dr Alwen Tiu
Emeritus Professor Rajeev Gore

Field of Research

Computational Logic And Formal Languages

Updated: 20 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers