Patrick Baillot


AuthID: R-00K-HJ9

Publicações a aguardar confirmação

1
TÍTULO: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTORES: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2019, FONTE: J. Autom. Reason., VOLUME: 63, NÚMERO: 4
INDEXADO EM: DBLP
2
TÍTULO: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTORES: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service