The expressive power of simple logical fragments over traces

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2006,6

Klassifikation
Informatik
Schlagwort
Temporale Logik ; Spur

Ereignis
Veröffentlichung
(wo)
Stuttgart
(wer)
Universitätsbibliothek der Universität Stuttgart
(wann)
2006
Urheber
Horsch, Martin
Kufleitner, Manfred

URN
urn:nbn:de:bsz:93-opus-26483
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:47 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2006

Ähnliche Objekte (12)

Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations

Hochschulschrift

Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations

Approximate assertional reasoning over expressive ontologies

Hochschulschrift

Approximate assertional reasoning over expressive ontologies

Top-k Queries over Digital Traces

zweidimensionales bewegtes Bild

Top-k Queries over Digital Traces

Efficient instance retrieval over semi-expressive ontologies

Hochschulschrift

Efficient instance retrieval over semi-expressive ontologies

Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles

Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles

The IITM model : a simple and expressive model for universal composability

The IITM model : a simple and expressive model for universal composability

Traces

Abschnitt

Traces

Traces

Noten (Musik)

Traces

Traces

Traces

Expressiver Tanz

Drucksachen

Expressiver Tanz

Expressive Litografie

Lithografie

Expressive Litografie

Expressive Landschaft

Archivale

Expressive Landschaft

Verbundene Objekte