Hochschulschrift
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
- Weitere Titel
-
Kompositionale und effektvolle rekursive Spezifikationsformate : Distributivgesetze und Rekursionssemantik
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Institut für Theoretische Informatik
- Schlagwort
-
Equations
- Ereignis
-
Veröffentlichung
- (wo)
-
Braunschweig
- (wer)
-
Technische Universität Braunschweig
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
-
Adámek, Jirí
- URN
-
urn:nbn:de:gbv:084-14072309252
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 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
- Schwencke, Daniel
- Adámek, Jirí
- Technische Universität Braunschweig
Entstanden
- 2013
Ähnliche Objekte (12)
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
Axiomatizations of Compositional Inductive-Recursive Definitions
Compositional partial order semantics of Petri boxes
Towards a compositional semantics for locative modifiers
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
A Compositional Semantics for Complex Tenses in Japanese
Meaning transfer and the compositional semantics of nominalizations
Specification and semantics : 08.07. - 12.07.96
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
Axiomatizations of Compositional Inductive-Recursive Definitions
Compositional partial order semantics of Petri boxes
Towards a compositional semantics for locative modifiers
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
A Compositional Semantics for Complex Tenses in Japanese
Meaning transfer and the compositional semantics of nominalizations
Specification and semantics : 08.07. - 12.07.96
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
Axiomatizations of Compositional Inductive-Recursive Definitions
Compositional partial order semantics of Petri boxes
Towards a compositional semantics for locative modifiers
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
A Compositional Semantics for Complex Tenses in Japanese
Meaning transfer and the compositional semantics of nominalizations