MetadatenVerfasserangaben: | Manfred Schmidt-SchaußORCiDGND, Elena Machkasova |
---|
URN: | urn:nbn:de:hebis:30-53630 |
---|
URL: | http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank32-finsim.pdf |
---|
Titel des übergeordneten Werkes (Englisch): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 32 |
---|
Schriftenreihe (Bandnummer): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (32) |
---|
Verlag: | Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology |
---|
Verlagsort: | Frankfurt [am Main] |
---|
Dokumentart: | Arbeitspapier |
---|
Sprache: | Englisch |
---|
Datum der Veröffentlichung (online): | 12.02.2008 |
---|
Datum der Erstveröffentlichung: | 12.02.2008 |
---|
Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
---|
Datum der Freischaltung: | 07.03.2008 |
---|
Freies Schlagwort / Tag: | lambda calculus; nondeterminism; programming languages; semantics; simulation |
---|
GND-Schlagwort: | Lambda-Kalkül; Operationale Semantik; Programmiersprache |
---|
Ausgabe / Heft: | Version: 12 Febr. 2008 |
---|
Seitenzahl: | 60 |
---|
Letzte Seite: | 60 |
---|
HeBIS-PPN: | 195575393 |
---|
Institute: | Informatik und Mathematik / Informatik |
---|
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Lizenz (Deutsch): | Deutsches Urheberrecht |
---|