Linear Logic and Noncommutativity in the

Niveau: Supérieur

• dissertation

Linear Logic and Noncommutativity in the Calculus of Structures Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium (Dr. rer. nat.) vorgelegt an der Technischen Universitat Dresden Fakultat Informatik eingereicht am 26. Mai 2003 von Diplom-Informatiker Lutz Straßburger geboren am 21. April 1975 in Dresden Betreuer: Dr. Alessio Guglielmi Betreuender Hochschullehrer: Prof. Dr. rer. nat. habil. Ste?en Holldobler Gutachter: Prof. Dr. rer. nat. habil. Ste?en Holldobler Dr. Franc¸ois Lamarche Prof. Dr. rer. nat. habil. Horst Reichel Disputation am 24. Juli 2003

• discussing tex


• dfg-graduierten- kolleg


• made many helpful


• thesis has


• zur erlangung des akademischen grades


• prozesse und