Research

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)
CreatorsGuglielmi, A.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5399

Export

Actions (login required)

View Item