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
Phd thesis, Dresden University of Technology, 2003
@phdthesis{S2003,
  author = {Lutz Stra{\ss}burger},
  title  = {Linear Logic and Noncommutativity in the Calculus of Structures},
  school = {Dresden University of Technology},
  year   = {2003}
}