Linear Logic and Noncommutativity in the Calculus of Structures

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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
Phd thesis, Dresden University of Technology, 2003

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@phdthesis{S2003,
  author = {Lutz Stra{\ss}burger},
  title  = {Linear Logic and Noncommutativity in the Calculus of Structures},
  school = {Dresden University of Technology},
  year   = {2003}
}