Linear Logic and Noncommutativity in the Calculus of Structures

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Linear Logic and Noncommutativity in the Calculus of Structures

Lutz StraßburgerLutz Straßburger
Linear Logic and Noncommutativity in the Calculus of Structures


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
@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}
}