Implementing Deep Inference in TOM

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Implementing Deep Inference in TOM

Ozan KahramanoğullarıOzan Kahramanoğulları,  Pierre-Etienne MoreauPierre-Etienne Moreau,  Antoine ReillesAntoine Reilles
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
@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}
}