A purely logical account of sequentiality in proof search – extended abstract
Aus International Center for Computational Logic
A purely logical account of sequentiality in proof search – extended abstract
Paola BruscoliPaola Bruscoli
![A purely logical account of sequentiality in proof search – extended abstract A purely logical account of sequentiality in proof search – extended abstract](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- 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}
}