Hierarchical Proof Structures

E W Denney, K Tourlas, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationStructures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
Place of PublicationDresden
PublisherTechnische Universität Dresden
Pages144-157
Number of pages14
Publication statusPublished - 2005

Cite this

Denney, E. W., Tourlas, K., & Power, J. (2005). Hierarchical Proof Structures. In Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005) (pp. 144-157). Technische Universität Dresden.