Hochschulschrift | Online-Publikation
Guarded logics: algorithms and bisimulation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2002
- Schlagwort
-
Bewachte Logik
Bewachte Logik
Modallogik
Bisimulation
Bewachte Logik
Stufe 2
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-4550urn:nbn:de:hbz:82-20021952
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
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
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Pure and applied fixed point logics
Guarded logics: algorithms and bisimulation
Dynamical systems, graphs, and algorithms
Evolutionary algorithms and optimization
A resolution-based calculus for temporal logics
Resource allocation in wireless networks : theory and algorithms
The complexity of description logics with concrete domains
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Fast volume rendering and deformation algorithms
Approximation and online algorithms in scheduling and coloring
Efficient algorithms for shape and pattern matching
Limit laws for random recursive structures and algorithms
Pure and applied fixed point logics
Guarded logics: algorithms and bisimulation
Dynamical systems, graphs, and algorithms
Evolutionary algorithms and optimization
A resolution-based calculus for temporal logics
Resource allocation in wireless networks : theory and algorithms
The complexity of description logics with concrete domains
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Fast volume rendering and deformation algorithms
Approximation and online algorithms in scheduling and coloring
Efficient algorithms for shape and pattern matching
Limit laws for random recursive structures and algorithms
Pure and applied fixed point logics
Guarded logics: algorithms and bisimulation
Dynamical systems, graphs, and algorithms
Evolutionary algorithms and optimization
A resolution-based calculus for temporal logics
Resource allocation in wireless networks : theory and algorithms
The complexity of description logics with concrete domains
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Fast volume rendering and deformation algorithms
Approximation and online algorithms in scheduling and coloring
Efficient algorithms for shape and pattern matching