Locality for Classical Logic

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

Locality for Classical Logic

Kai BrünnlerKai Brünnler
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
@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}
}