A Purely Logical Account of Sequentiality in Proof Search

From International Center for Computational Logic

Toggle side column

A Purely Logical Account of Sequentiality in Proof Search

Paola BruscoliPaola Bruscoli
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
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}
}