Linear Logic and Noncommutativity in the Calculus of Structures

@misc{citeulike:894215, abstract = {macro \clap,whichisused on almost every page, came out of such a discussion. This thesis would not exist without the support of my wife Jana. During all the time she has been a continuous source of love and inspiration. This PhD thesis has been written with the financial support of the DFG-Graduiertenkolleg 334 \"Spezifikation diskreter Prozesse und Prozesysteme durch operationelle Modelle und Logiken\". iii iv Tab l e o f Contents Acknowledgements iii Tab l e of Contents v List of Figures vii...}, author = {Stra{\ss}burger, Lutz }, citeulike-article-id = {894215}, keywords = {calculus, linear-logic, noncommutative, structure}, posted-at = {2006-10-12 13:28:05}, priority = {2}, title = {Linear Logic and Noncommutativity in the Calculus of Structures}, url = {http://citeseer.ist.psu.edu/740163.html} }

TY - GEN ID - citeulike:894215 L3 - citeulike-article-id:894215 TI - Linear Logic and Noncommutativity in the Calculus of Structures N2 - macro \clap,whichisused on almost every page, came out of such a discussion. This thesis would not exist without the support of my wife Jana. During all the time she has been a continuous source of love and inspiration. This PhD thesis has been written with the financial support of the DFG-Graduiertenkolleg 334 "Spezifikation diskreter Prozesse und Prozesysteme durch operationelle Modelle und Logiken". iii iv Tab l e o f Contents Acknowledgements iii Tab l e of Contents v List of Figures vii... KW - calculus KW - linear-logic KW - noncommutative KW - structure AU - Straßburger, Lutz UR - http://citeseer.ist.psu.edu/740163.html ER -