- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Edition
-
Version 10. Juli 2008
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 33
- Classification
-
Informatik
- Keyword
-
Lambda-Kalkül
Programmiersprache
Operationale Semantik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2008
- Contributor
-
Schmidt-Schauß, Manfred
Niehren, Joachim
Schwinghammer, Jan
Sabel, David
- URN
-
urn:nbn:de:hebis:30:3-344312
- 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
- Schmidt-Schauß, Manfred
- Niehren, Joachim
- Schwinghammer, Jan
- Sabel, David
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2008
Other Objects (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
Meaning transfer and the compositional semantics of nominalizations
A Compositional Semantics for Complex Tenses in Japanese
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
Meaning transfer and the compositional semantics of nominalizations
A Compositional Semantics for Complex Tenses in Japanese
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
Meaning transfer and the compositional semantics of nominalizations
A Compositional Semantics for Complex Tenses in Japanese
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