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 | ||||
| Creators | Denney, E. W., Tourlas, K. and Power, J. | ||||
| Related URLs |
| ||||
| Departments | Faculty of Science > Computer Science | ||||
| Status | Published | ||||
| ID Code | 26508 |
Export
Actions (login required)
| View Item |
