Locality for Classical Logic
From International Center for Computational Logic
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
Locality for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-04, 2003
- 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}
}
