Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN Dirk Draheim 3662568721
Abmessungen / Gewicht
Hauptmerkmale
Dirk Draheim