Implementing Deep Inference in TOM

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Implementing Deep Inference in TOM

Ozan KahramanoğullarıOzan Kahramanoğulları,  Pierre-Etienne MoreauPierre-Etienne Moreau,  Antoine ReillesAntoine Reilles

• Download

Ozan Kahramanoğulları, Pierre-Etienne Moreau, Antoine Reilles
Implementing Deep Inference in TOM
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 158-172, 2005. Technische Universität Dresden

• Details
• Bibtex

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

@inproceedings{KMR2005,
  author    = {Ozan Kahramano{\u{g}}ullar{\i} and Pierre-Etienne Moreau and
               Antoine Reilles},
  title     = {Implementing Deep Inference in {TOM}},
  editor    = {P. Bruscoli and F. Lamarche and C. Stewart},
  booktitle = {Structures and Deduction},
  publisher = {Technische Universit{\"{a}}t Dresden},
  year      = {2005},
  pages     = {158-172}
}