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

• Download

Kai Brünnler
Atomic Cut Elimination for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-11, 2002

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{B2002,
  author      = {Kai Br{\"{u}}nnler},
  title       = {Atomic Cut Elimination for Classical Logic},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2002}
}