Guarded logics: algorithms and bisimulation
Hirsch, Colin
- Link zu diesem Datensatz
- https://d-nb.info/966324498
- Titel
- Guarded logics: algorithms and bisimulation
- Art des Inhalts
- Monographie
- Verfassangaben
- vorgelegt von Colin Hirsch
- Autor
- Hirsch, Colin
- Zeitliche Einordnung
- Erscheinungsdatum: 2002
- Umfang/Format
- 156 S.
- Online
- https://d-nb.info/966324498/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- Aachen, Techn. Hochsch., Diss., 2002 (Nicht für den Austausch)
- Stand
- 08.10.2024 06:49
- Im Katalog seit
- 06.03.2026