A Non-commutative Extension of MELL

Alessio GuglielmiAlessio Guglielmi, Lutz StraßburgerLutz Straßburger

Download

Alessio Guglielmi, Lutz Straßburger
A Non-commutative Extension of MELL
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 231-246, 2002. Springer

Details
Bibtex

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

The final publication is available at Springer.

@inproceedings{GS2002,
  author    = {Alessio Guglielmi and Lutz Stra{\ss}burger},
  title     = {A Non-commutative Extension of {MELL}},
  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     = {231-246}
}