On Structuring Proof Search for First Order Linear Logic

From International Center for Computational Logic
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}
}