Locality for Classical Logic

PublikationenPublications

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

Toggle side column

Locality for Classical Logic

Kai BrünnlerKai Brünnler

• Download

Kai Brünnler
Locality for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-04, 2003

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{B2003,
  author      = {Kai Br{\"{u}}nnler},
  title       = {Locality for Classical Logic},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2003}
}