The disconnection calculus
By: Gernot Stenz.
Contributors: Universität München. Institut für Informatik.
Series: Institut für Informatik der Technischen Universität München Lehrstuhl für Informatik VIII
Publisher: Logos Verlag
Published: 2002
Place of publication: Berlin
Language: eng
Number of pages: 179
Notes: Thesis (Dr. rer. nat) - Technischen Universität München, 2002.