On Structuring Proof Search for First Order Linear Logic

Paola BruscoliPaola Bruscoli, Alessio GuglielmiAlessio Guglielmi

Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
In Moshe Y. Vardi and Andrei Voronkov, eds., LPAR 2003, volume 2850 of Lecture Notes in Artificial Intelligence, 389-406, 2003. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{BG2003,
  author    = {Paola Bruscoli and Alessio Guglielmi},
  title     = {On Structuring Proof Search for First Order Linear Logic},
  editor    = {Moshe Y. Vardi and Andrei Voronkov},
  booktitle = {LPAR 2003},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {2850},
  publisher = {Springer},
  year      = {2003},
  pages     = {389-406}
}