A Purely Logical Account of Sequentiality in Proof Search

Paola BruscoliPaola Bruscoli

Download

Paola Bruscoli
A Purely Logical Account of Sequentiality in Proof Search
In Peter J. Stuckey, eds., Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, 302-316, 2002. Springer

Details
Bibtex

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

The final publication is available at Springer.

@inproceedings{B2002,
  author    = {Paola Bruscoli},
  title     = {A Purely Logical Account of Sequentiality in Proof Search},
  editor    = {Peter J. Stuckey},
  booktitle = {Logic Programming, 18th International Conference},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {2401},
  publisher = {Springer},
  year      = {2002},
  pages     = {302-316}
}