L?O Stefanesco


AuthID: R-00K-PER

Publications Awaiting Confirmation

1
TITLE: Relational Reasoning via Probabilistic Coupling
AUTHORS: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
INDEXED IN: DBLP
2
TITLE: Relational reasoning via probabilistic coupling PDF
AUTHORS: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1509.03476
INDEXED IN: DBLP arXiv

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service