A Non-commutative Extension of MELL

From International Center for Computational Logic

Toggle side column

A Non-commutative Extension of MELL

Alessio GuglielmiAlessio Guglielmi,  Lutz StraßburgerLutz Straßburger
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
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}
}