On Structuring Proof Search for First Order Linear Logic

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

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
  • Bemerkung: Note: Submitted to ACM Transactions on Computational Logic
  • Forschungsgruppe:Research Group: Wissensverarbeitung
@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}
}