On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
Citation
Gore, R, Postniece, L & Tiu, A 2011, 'On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics', Logical Methods in Computer Science, vol. 7, no. 2, p. 38.Year
2011ANU Authors
Field of Research
- Computational Logic And Formal Languages
