A purely logical account of sequentiality in proof search – extended abstract

Paola BruscoliPaola Bruscoli

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
Bibtex

Bemerkung: Note: ISSN 1430–211X
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{B2003,
  author    = {Paola Bruscoli},
  title     = {A purely logical account of sequentiality in proof search
               {\textendash} extended abstract},
  editor    = {Bertram Fronh{\"{o}}fer and Steffen H{\"{o}}lldobler},
  booktitle = {17. {WLP:} Workshop Logische Programmierung, {TU} Dresden,
               December 11{\textendash}13, 2002},
  series    = {Technische Berichte der Fakult\"at Informatik},
  year      = {2003},
  month     = {April}
}