- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2006,6
- Classification
-
Informatik
- Keyword
-
Temporale Logik ; Spur
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2006
- Creator
- URN
-
urn:nbn:de:bsz:93-opus-26483
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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.
Associated
- Horsch, Martin
- Kufleitner, Manfred
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2006
Other Objects (12)
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
Approximate assertional reasoning over expressive ontologies
Top-k Queries over Digital Traces
Efficient instance retrieval over semi-expressive ontologies
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
The IITM model : a simple and expressive model for universal composability
Traces
Traces
Traces
Expressive Papierarbeit
Expressive Litografie
Expressive Landschaft
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
Approximate assertional reasoning over expressive ontologies
Top-k Queries over Digital Traces
Efficient instance retrieval over semi-expressive ontologies
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
The IITM model : a simple and expressive model for universal composability
Traces
Traces
Traces
Expressive Papierarbeit
Expressive Litografie
Expressive Landschaft
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
Approximate assertional reasoning over expressive ontologies
Top-k Queries over Digital Traces
Efficient instance retrieval over semi-expressive ontologies
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
The IITM model : a simple and expressive model for universal composability
Traces
Traces
Traces
Expressive Papierarbeit
Expressive Litografie