Research

Hierarchical Proof Structures


Reference:

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

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

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

Related URLs:

Details

Item Type Book Sections
CreatorsDenney, E. W., Tourlas, K. and Power, J.
Related URLs
URLURL Type
http://www.ki.inf.tu-dresden.de/~paola/SD05/SD05-Proc.pdfFree Full-text
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code26508

Export

Actions (login required)

View Item