Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik
By: Andreas Kausche
Contributors: Technische Universität München
Published: 1988
Place of publication: München
Language: ger
Number of pages: 257
Notes: München, TU, Fak. für Mathematik und Informatik, Diss. 1989.

Thesis (doctoral)--Technische Universität München, 1988.