Paola Bruscoli

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

Dr. Paola Bruscoli

Ehemaliges Mitglied
Paola Bruscoli

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
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
Details Download

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

Komplette Publikationsliste anzeigen