Hochschulschrift | Online-Publikation
Guarded logics: algorithms and bisimulation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Aachen, Techn. Hochsch., Diss., 2002
- Keyword
-
Bewachte Logik
Bewachte Logik
Modallogik
Bisimulation
Bewachte Logik
Stufe 2
- Creator
- URN
-
urn:nbn:de:hbz:82-opus-4550urn:nbn:de:hbz:82-20021952
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
Other Objects (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