Metadaten| Verfasserangaben: | David SabelORCiDGND, Manfred Schmidt-SchaußORCiDGND |
|---|
| URN: | urn:nbn:de:hebis:30:3-343122 |
|---|
| URL: | http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-47v2.pdf |
|---|
| Titel des übergeordneten Werkes (Englisch): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 47 |
|---|
| Schriftenreihe (Bandnummer): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (47 [v.2]) |
|---|
| 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): | 18.04.2012 |
|---|
| Datum der Erstveröffentlichung: | 18.04.2012 |
|---|
| Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
|---|
| Datum der Freischaltung: | 03.07.2014 |
|---|
| GND-Schlagwort: | Formale Semantik; Funktionale Programmierung; Lambda-Kalkül; Nebenläufigkeit |
|---|
| Ausgabe / Heft: | Vers. 18 April 2012 |
|---|
| Seitenzahl: | 28 |
|---|
| Erste Seite: | 1 |
|---|
| Letzte Seite: | 28 |
|---|
| HeBIS-PPN: | 344382990 |
|---|
| Institute: | Informatik und Mathematik / Informatik |
|---|
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
|---|
| Sammlungen: | Universitätspublikationen |
|---|
| Lizenz (Deutsch): |  Creative Commons - Namensnennung-Keine Bearbeitung |
|---|
Creative Commons - Namensnennung-Keine Bearbeitung