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

PublikationenPublications

• Nach AutorBy Author
  • Alessio GuglielmiAlessio Guglielmi
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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}
}