Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.
 
Neuigkeiten Am Donnerstag, 17.09.2026, öffnet die Deutsche Nationalbibliothek wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr.
 
 

Ergebnis der Suche nach: nid=4194483-5



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4194483-5
Sachbegriff Funktionale Semantik
Quelle Lex. Informatik
Synonyme Denotationale Semantik
Mathematische Semantik
Scottsche Semantik
Fixpunktsemantik
Funktionensemantik
Oberbegriffe Formale Semantik
DDC-Notation 401.430183
T4--01430183
Systematik 30 Informatik, Datenverarbeitung ; 11.2a Allgemeine Sprachtheorie
Typ Allgemeinbegriff (saz)
Thema in 47 Publikationen
  1. Semantics of probabilistic typed lambda calculus
    Draheim, Dirk. - Berlin : Springer, [2017]
  2. Semantics of the Probabilistic Typed Lambda Calculus
    Draheim, Dirk. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, 1st edition 2017
  3. ...
Maschinell verknüpft mit 2 Publikationen
  1. Eine Fixpunkt-Semantik für temporal stratifizierte Programme
    Malik, Robi. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2017
  2. "Wem muss das Schnitzel schmecken, damit es lecker ist?"
    Schütz, Tobias Fabian Erik. - Berlin : Humboldt-Universität zu Berlin, 2009





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration