- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Ausgabe
-
Version 14. Oktober 2008
- Sprache
-
Englisch
- Erschienen in
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 33
- Klassifikation
-
Informatik
- Schlagwort
-
Operationale Semantik
Lambda-Kalkül
Programmiersprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Univ.-Bibliothek Frankfurt am Main
- (wann)
-
2008
- Beteiligte Personen und Organisationen
-
Schmidt-Schauß, Manfred
Niehren, Joachim
Schwinghammer, Jan
Sabel, David
- URN
-
urn:nbn:de:hebis:30:3-344326
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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.
Beteiligte
- Schmidt-Schauß, Manfred
- Niehren, Joachim
- Schwinghammer, Jan
- Sabel, David
- Univ.-Bibliothek Frankfurt am Main
Entstanden
- 2008
Ähnliche Objekte (12)
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
Compositional partial order semantics of Petri boxes
Towards a compositional semantics for locative modifiers
A Compositional Semantics for Complex Tenses in Japanese
Meaning transfer and the compositional semantics of nominalizations
Observational program calculi and the correctness of translations
Compositional semantics for message sequence charts based on Petri Nets
Roles and the compositional semantics of role-denoting relational adjectives
Some Remarks on Semantics and Epistemological Categories in Early Scientific Translations
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
Compositional partial order semantics of Petri boxes
Towards a compositional semantics for locative modifiers
A Compositional Semantics for Complex Tenses in Japanese
Meaning transfer and the compositional semantics of nominalizations
Observational program calculi and the correctness of translations
Compositional semantics for message sequence charts based on Petri Nets
Roles and the compositional semantics of role-denoting relational adjectives
Some Remarks on Semantics and Epistemological Categories in Early Scientific Translations
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
Compositional partial order semantics of Petri boxes
Towards a compositional semantics for locative modifiers
A Compositional Semantics for Complex Tenses in Japanese
Meaning transfer and the compositional semantics of nominalizations
Observational program calculi and the correctness of translations
Compositional semantics for message sequence charts based on Petri Nets
Roles and the compositional semantics of role-denoting relational adjectives