Skip navigation
The Australian National University

Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents

Citation

Gore, R & Ramanayake, R 2012, 'Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents', Advances in Modal Logic (AiML 2012), College Publications, Unknown, pp. 279-299.

Year

2012

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers