The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference

Alessio GuglielmiAlessio Guglielmi

Download

Alessio Guglielmi
The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 53-68, 2005. Technische Universität Dresden

Details
Bibtex

Bemerkung: Note: ISSN 1430-211X,
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{G2005,
  author    = {Alessio Guglielmi},
  title     = {The Problem of Bureaucracy and Identity of Proofs from the
               Perspective of Deep Inference},
  editor    = {P. Bruscoli and F. Lamarche and C. Stewart},
  booktitle = {Structures and Deduction},
  publisher = {Technische Universit{\"{a}}t Dresden},
  year      = {2005},
  pages     = {53-68}
}