Research

Hierarchical Proof Structures


Reference:

Denney, E. W., Tourlas, K. and Power, J., 2005. Hierarchical Proof Structures. 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.

Details

Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsDenney, E. W., Tourlas, K. and Power, J.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code26508

Export

Actions (login required)

View Item