h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Generating Functions for Probabilistic Programs

; ; ; ; ;

In
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández, Seiten/Artikel-Nr: 231-248

Konferenz/Event:30. International Symposium on Logic-Based Program Synthesis and Transformation , online , LOPSTR 2020 , 2020-08-07 - 2020-08-09

ImpressumCham : Springer International Publishing [2021.] ; Cham : Imprint: Springer [2021.]

Umfang231-248

ISBN978-3-030-68445-7, 978-3-030-68446-4, 978-3-030-68447-1

ReiheTheoretical Computer Science and General Issues ; 12561

Konferenzort: Bologna, Italy

Online
DOI: 10.1007/978-3-030-68446-4_12


Einrichtungen

  1. Graduiertenkolleg UnRAVeL (080060)
  2. Fachgruppe Informatik (120000)
  3. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)

Projekte

  1. FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)


Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85102619332
WOS Core Collection: WOS:001340650500012
OpenAlex: W3041491565

Interne Identnummern
RWTH-2020-11665
Datensatz-ID: 807881

Beteiligte Länder
Germany

 GO

Related:

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;  ;  ;  ;  ;
Generating Functions for Probabilistic Programs
[10.48550/ARXIV.2007.06327]  GO OpenAccess   Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

NationallizenzNationallizenz ; SCOPUS
QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Computer Science (Fac.9)
Central and Other Institutions
Public records
Publications database
120000
121310
080060
 Record created 2020-11-27, last modified 2026-09-10
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)