Hierarchical Proof Structures

E W Denney, K Tourlas, John Power

Research output: Chapter or section in a book/report/conference proceedingChapter or section

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
Number of pages14
Publication statusPublished - 2005

Cite this