L?O Stefanesco
AuthID: R-00K-PER
1
TÃTULO: Relational Reasoning via Probabilistic Coupling
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Relational reasoning via probabilistic coupling PDF
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1509.03476
AUTORES: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1509.03476
INDEXADO EM: DBLP 
arXiv
DBLP arXiv