On Structuring Proof Search for First Order Linear Logic
Aus International Center for Computational Logic
On Structuring Proof Search for First Order Linear Logic
Paola BruscoliPaola Bruscoli, Alessio GuglielmiAlessio Guglielmi
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
- Bemerkung: Note: Submitted to ACM Transactions on Computational Logic
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{BG2003,
author = {Paola Bruscoli and Alessio Guglielmi},
title = {On Structuring Proof Search for First Order Linear Logic},
institution = {Technische Universit{\"{a}}t Dresden},
year = {2003}
}
