On Structuring Proof Search for First Order Linear Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

On Structuring Proof Search for First Order Linear Logic

Paola BruscoliPaola Bruscoli,  Alessio GuglielmiAlessio Guglielmi
On Structuring Proof Search for First Order Linear Logic


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
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}
}