Linear Logic and Noncommutativity in the Calculus of Structures
From International Center for Computational Logic
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
Linear Logic and Noncommutativity in the Calculus of Structures
Phd thesis, Dresden University of Technology, 2003
- 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}
}
