guest ::
Bayesian Inference in Quantum Programs
; ;
In
52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis, Seiten/Artikel-Nr: 157:1-157:18
2025
Online
DOI: 10.4230/LIPIcs.ICALP.2025.157
DOI: 10.18154/RWTH-2026-01495
URL: https://publications.rwth-aachen.de/record/1028153/files/1028153.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Lehrstuhl für Quanteninformationssysteme (Informatik 15) (125910)
- Fachgruppe Informatik (120000)
Projekte
Inhaltliche Beschreibung (Schlagwörter)
Bayesian Inference (Genormte SW) ; Program Semantics (Genormte SW) ; Quantum Program Logics (Genormte SW) ; Theory of computation → Logic and verification (Genormte SW) ; Theory of computation → Program semantics (Genormte SW) ; Theory of computation → Quantum information theory (Genormte SW) ; Weakest Preconditions (Genormte SW)
OpenAccess: 
PDF
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105009915745
Interne Identnummern
RWTH-2026-01495
Datensatz-ID: 1028153
Beteiligte Länder
Germany
; 
PDF