Paola Bruscoli
Aus International Center for Computational Logic
Dr. Paola Bruscoli
Ehemaliges Mitglied
- Ehemals Wissenschaftliche Mitarbeiterin in Forschungsgruppe Wissensverarbeitung
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming
In Catuscia Palamidessi, eds., Logic Programming, 19th International Conference, volume 2916 of Lecture Notes in Computer Science, 109-127, 2003. Springer
Details
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
Details Download
Paola Bruscoli
A purely logical account of sequentiality in proof search – extended abstract
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, April 2003. TU Dresden, 01062 Dresden
Details
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 Download
