Hierarchical Proof Structures

E W Denney, K Tourlas, John Power

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

Original language	English
Title of host publication	Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
Place of Publication	Dresden
Publisher	Technische Universität Dresden
Pages	144-157
Number of pages	14
Publication status	Published - 2005

Cite this

@inbook{5157dfcd14594910a3e2ab44cfa0acee,

title = "Hierarchical Proof Structures",

author = "Denney, {E W} and K Tourlas and John Power",

year = "2005",

language = "English",

pages = "144--157",

booktitle = "Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)",

publisher = "Technische Universit{\"a}t Dresden",

}

TY - CHAP

T1 - Hierarchical Proof Structures

AU - Denney, E W

AU - Tourlas, K

AU - Power, John

PY - 2005

Y1 - 2005

UR - http://www.ki.inf.tu-dresden.de/~paola/SD05/SD05-Proc.pdf

M3 - Chapter or section

SP - 144

EP - 157

BT - Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)

PB - Technische Universität Dresden

CY - Dresden

ER -