Non-commutativity and MELL in the Calculus of Structures

Alessio GuglielmiAlessio Guglielmi, Lutz StraßburgerLutz Straßburger

Download

Alessio Guglielmi, Lutz Straßburger
Non-commutativity and MELL in the Calculus of Structures
In L. Fribourg, eds., Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01, Lecture Notes in Computer Science, 54-68, 2001. Springer

Details
Bibtex

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

The final publication is available at Springer.

@inproceedings{GS2001,
  author    = {Alessio Guglielmi and Lutz Stra{\ss}burger},
  title     = {Non-commutativity and {MELL} in the Calculus of Structures},
  editor    = {L. Fribourg},
  booktitle = {Proceedings of the Annual Conference of the European Association
               for Computer Science Logic, {CSL} '01},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2001},
  pages     = {54-68}
}