A Local System for Classical Logic

Kai BrünnlerKai Brünnler, Alwen Fernanto TiuAlwen Fernanto Tiu

Download

Kai Brünnler, Alwen Fernanto Tiu
A Local System for Classical Logic
In R. Nieuwenhuis and A. Voronkov, eds., LPAR 2001, volume 2250 of Lecture Notes in Artificial Intelligence, 347-361, 2001. Springer

Details
Bibtex

Bemerkung: Note: (was Technical Report WV-01-02)
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{BT2001,
  author    = {Kai Br{\"{u}}nnler and Alwen Fernanto Tiu},
  title     = {A Local System for Classical Logic},
  editor    = {R. Nieuwenhuis and A. Voronkov},
  booktitle = {LPAR 2001},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {2250},
  publisher = {Springer},
  year      = {2001},
  pages     = {347-361}
}