- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XXIV, 145 S.
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Techn. Univ., Diss., 2004
- Klassifikation
-
Informatik
Mathematik
- Schlagwort
-
Transitionssystem
Zustandsraum
Koalgebra
Äquivalentielle Logik
Modallogik
Bisimulation
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:15 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Behavioural equivalences for coalgebras
Equivalences on phase type processes
Derived equivalences
Affine Grassmannians and Geometric Satake Equivalences
Morita-equivalences for MV-algebras
Derived equivalences for group rings
Equivalences for concurrent and distributed systems : a survey of dissertation
Morita equivalences with endopermutation source
Equivalences of coloured Petri nets
Perverse schobers and Orlov equivalences
On logical and concurrent equivalences
Wavelet shrinkage in signal & image processing : an investigation of relations and equivalences
Behavioural equivalences for coalgebras
Equivalences on phase type processes
Derived equivalences
Affine Grassmannians and Geometric Satake Equivalences
Morita-equivalences for MV-algebras
Derived equivalences for group rings
Equivalences for concurrent and distributed systems : a survey of dissertation
Morita equivalences with endopermutation source
Equivalences of coloured Petri nets
Perverse schobers and Orlov equivalences
On logical and concurrent equivalences
Wavelet shrinkage in signal & image processing : an investigation of relations and equivalences
Behavioural equivalences for coalgebras
Equivalences on phase type processes
Derived equivalences
Affine Grassmannians and Geometric Satake Equivalences
Morita-equivalences for MV-algebras
Derived equivalences for group rings
Equivalences for concurrent and distributed systems : a survey of dissertation
Morita equivalences with endopermutation source
Equivalences of coloured Petri nets
Perverse schobers and Orlov equivalences
On logical and concurrent equivalences