A Tutorial on Proof Theoretic Foundations of Logic Programming

Paola BruscoliPaola Bruscoli, Alessio GuglielmiAlessio Guglielmi

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
Bibtex

Bemerkung: Note: Invited tutorial
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{BG2003,
  author    = {Paola Bruscoli and Alessio Guglielmi},
  title     = {A Tutorial on Proof Theoretic Foundations of Logic Programming},
  editor    = {Catuscia Palamidessi},
  booktitle = {Logic Programming, 19th International Conference},
  series    = {Lecture Notes in Computer Science},
  volume    = {2916},
  publisher = {Springer},
  year      = {2003},
  pages     = {109-127}
}