Atomic Cut Elimination for Classical Logic

PublikationenPublications

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

Toggle side column

Atomic Cut Elimination for Classical Logic

Kai BrünnlerKai Brünnler

Kai Brünnler
Atomic Cut Elimination for Classical Logic
In M. Baaz and J.A. Makowsky, eds., CSL 2003, volume 2803 of Lecture Notes in Computer Science, 86-97, 2003. Springer

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{B2003,
  author    = {Kai Br{\"{u}}nnler},
  title     = {Atomic Cut Elimination for Classical Logic},
  editor    = {M. Baaz and {J.A.} Makowsky},
  booktitle = {CSL 2003},
  series    = {Lecture Notes in Computer Science},
  volume    = {2803},
  publisher = {Springer},
  year      = {2003},
  pages     = {86-97}
}