Hochschulschrift
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Stuttgart, Univ., Diss., 2006
- Schlagwort
-
Spur ; Algebraische Halbgruppe ; Monoid ; Logik
- Urheber
- URN
-
urn:nbn:de:bsz:93-opus-27812
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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
Beteiligte
Ähnliche Objekte (12)
The expressive power of simple logical fragments over traces
Shop scheduling solution spaces with algebraic characterizations
Characterizations of canonically compactifiable graphs via intrinsic metrics and algebraic properties
Characterizations of native spaces
Two characterizations of consistency
Algebraic model theories: a contribution to the generalization of the notion "logical system"
Algebraic, logical and stochastic reasoning for the automatic prediction of 3d building structures
Traces
Traces
Traces
Characterizations of Network Power Measures
Characterizations of inner product spaces
The expressive power of simple logical fragments over traces
Shop scheduling solution spaces with algebraic characterizations
Characterizations of canonically compactifiable graphs via intrinsic metrics and algebraic properties
Characterizations of native spaces
Two characterizations of consistency
Algebraic model theories: a contribution to the generalization of the notion "logical system"
Algebraic, logical and stochastic reasoning for the automatic prediction of 3d building structures
Traces
Traces
Traces
Characterizations of Network Power Measures
Characterizations of inner product spaces
The expressive power of simple logical fragments over traces
Shop scheduling solution spaces with algebraic characterizations
Characterizations of canonically compactifiable graphs via intrinsic metrics and algebraic properties
Characterizations of native spaces
Two characterizations of consistency
Algebraic model theories: a contribution to the generalization of the notion "logical system"
Algebraic, logical and stochastic reasoning for the automatic prediction of 3d building structures
Traces
Traces
Traces
Characterizations of Network Power Measures