Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Masterarbeit, 2023
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2024
- Creator
-
Lehmann, Johannes
Winkler, Tobias
- Contributor
- DOI
-
10.18154/RWTH-2024-02603
- URN
-
urn:nbn:de:101:1-2024040401475371815343
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
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
- Lehmann, Johannes
- Winkler, Tobias
- Katoen, Joost-Pieter
- Noll, Thomas
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2024
Other Objects (12)
Beschwerden über Anspruch, Gewährung und Verweigerung der Realgemeinderechte und der Rechte von Aktivbürgern auf Gemeindenutzungen sowie über deren Einführung, Verteilung und Ablösung: Oberamt Calw
Computer
Lehmann, Johannes
Untersuchungen über die Abhängigkeit des elektrischen Widerstandes hygroskopischer Faserstoffe von ihrem Wassergehalt
Die Mühlen im Krippengrund
Mühlräder an der Pehna (Behnebach)
Die Liethenmühle
Drei Grenzmühlen
Lehmann, Johannes
Über die Abhängigkeit der Enzymaktivitäten von der Vorbehandlungstemperatur im Rumpfmuskel der Goldorfe <Idus idus L.> und des Goldfisches <Carassius auratus L.>
Die Informationsabteilung des Lutherischen Weltbundes : Ein Beitr. zur internat. Nachrichtengebg
Lehmann, Johannes
Beschwerden über Anspruch, Gewährung und Verweigerung der Realgemeinderechte und der Rechte von Aktivbürgern auf Gemeindenutzungen sowie über deren Einführung, Verteilung und Ablösung: Oberamt Calw
Computer
Lehmann, Johannes
Untersuchungen über die Abhängigkeit des elektrischen Widerstandes hygroskopischer Faserstoffe von ihrem Wassergehalt
Die Mühlen im Krippengrund
Mühlräder an der Pehna (Behnebach)
Die Liethenmühle
Drei Grenzmühlen
Lehmann, Johannes
Über die Abhängigkeit der Enzymaktivitäten von der Vorbehandlungstemperatur im Rumpfmuskel der Goldorfe <Idus idus L.> und des Goldfisches <Carassius auratus L.>
Die Informationsabteilung des Lutherischen Weltbundes : Ein Beitr. zur internat. Nachrichtengebg
Lehmann, Johannes
Beschwerden über Anspruch, Gewährung und Verweigerung der Realgemeinderechte und der Rechte von Aktivbürgern auf Gemeindenutzungen sowie über deren Einführung, Verteilung und Ablösung: Oberamt Calw
Computer
Lehmann, Johannes
Untersuchungen über die Abhängigkeit des elektrischen Widerstandes hygroskopischer Faserstoffe von ihrem Wassergehalt
Die Mühlen im Krippengrund
Mühlräder an der Pehna (Behnebach)
Die Liethenmühle
Drei Grenzmühlen
Lehmann, Johannes
Über die Abhängigkeit der Enzymaktivitäten von der Vorbehandlungstemperatur im Rumpfmuskel der Goldorfe <Idus idus L.> und des Goldfisches <Carassius auratus L.>
Die Informationsabteilung des Lutherischen Weltbundes : Ein Beitr. zur internat. Nachrichtengebg