Linear Logic and Noncommutativity in the Calculus of Structures

Lutz StraßburgerLutz Straßburger

Lutz Straßburger
Linear Logic and Noncommutativity in the Calculus of Structures
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 96, April 2003. TU Dresden, 01062 Dresden

Details
Bibtex

Bemerkung: Note: ISSN 1430–211X
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{S2003,
  author    = {Lutz Stra{\ss}burger},
  title     = {Linear Logic and Noncommutativity in the Calculus of Structures},
  editor    = {Bertram Fronh{\"{o}}fer and Steffen H{\"{o}}lldobler},
  booktitle = {17. {WLP:} Workshop Logische Programmierung, {TU} Dresden,
               December 11{\textendash}13, 2002},
  series    = {Technische Berichte der Fakult\"at Informatik},
  year      = {2003},
  month     = {April},
  pages     = {96}
}