A Local System for Linear Logic

Lutz StraßburgerLutz Straßburger

Download

Lutz Straßburger
A Local System for Linear Logic
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 388-402, 2002. Springer

Details
Bibtex

Bemerkung: Note: (was Technical Report WV–02–01)
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{S2002,
  author    = {Lutz Stra{\ss}burger},
  title     = {A Local System for Linear Logic},
  editor    = {Matthias Baaz and Andrei Voronkov},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning,
               {LPAR} 2002},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {2514},
  publisher = {Springer},
  year      = {2002},
  pages     = {388-402}
}