The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
Reference:
Guglielmi, A., 2005. The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference. In: ICALP '05 Workshop `Structures and Deduction', 2005-01-01.
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 (Paper) |
| Creators | Guglielmi, A. |
| Departments | Faculty of Science > Computer Science |
| Refereed | No |
| Status | Published |
| ID Code | 5399 |
Export
Actions (login required)
| View Item |
