A Local System for Linear Logic

From International Center for Computational Logic

Toggle side column

A Local System for Linear Logic

Lutz StraßburgerLutz Straßburger
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
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}
}