Skip to contents Navarro, Marcelo [Author]; Olmedo, Federico [Author] ; Marcelo Navarro and Federico Olmedo [Contributor] Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Lehmann, Johannes [Author]; Winkler, Tobias [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Noll, Thomas [Degree supervisor] Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:101:1-2024040401475371815343 Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Universitätsbibliothek der RWTH Aachen, 2024 Published in: Aachen ; RWTH Aachen University, 2024
Navarro, Marcelo [Author]; Olmedo, Federico [Author] ; Marcelo Navarro and Federico Olmedo [Contributor] Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Lehmann, Johannes [Author]; Winkler, Tobias [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Noll, Thomas [Degree supervisor] Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:101:1-2024040401475371815343 Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Universitätsbibliothek der RWTH Aachen, 2024 Published in: Aachen ; RWTH Aachen University, 2024
> Access https://nbn-resolving.org/urn:nbn:de:101:1-2024040401475371815343 Full access (via DOI) Show more show less
> Media type Skip to next facet Articles (1) Wert ausschließen Books (1) Wert ausschließen Show more show less
> Creator Skip to next facet Katoen, Joost-Pieter (1) Wert ausschließen Lehmann, Johannes (1) Wert ausschließen Marcelo Navarro and Federico Olmedo (1) Wert ausschließen Navarro, Marcelo (1) Wert ausschließen Noll, Thomas (1) Wert ausschließen Olmedo, Federico (1) Wert ausschließen Winkler, Tobias (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less