CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION

B
Baelde, David	Foundations of the Squirrel meta-logic for reasoning over security protocols
C
Cao, Qinxiang	Countability of Inductive Types Formalized in the Object-Logic Level
Cuconato, Bruno	A logical framework with a graph meta-language
D
Delaune, Stephanie	Foundations of the Squirrel meta-logic for reasoning over security protocols
Dowek, Gilles	Interacting safely with an unsafe environment
E
El-Beheiry, Laila	SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts
H
Haeusler, Edward Hermann	A logical framework with a graph meta-language
J
Jacomme, Charlie	Foundations of the Squirrel meta-logic for reasoning over security protocols
K
Karkour, Ammar	SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts
Koutsos, Adrien	Foundations of the Squirrel meta-logic for reasoning over security protocols
Kovacs, Laura	Automating Induction by Reflection
M
Moreau, Solène	Foundations of the Squirrel meta-logic for reasoning over security protocols
N
Nadathur, Gopalan	Adelfa: A System for Reasoning about LF Specifications
R
Rabe, Florian	Translating Formalizations of Type Theories from Intrinsic to Extrinsic Style
Reis, Giselle	Facilitating Meta-Theory Reasoning SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts
Roux, Navid	Translating Formalizations of Type Theories from Intrinsic to Extrinsic Style
S
Santos, Jefferson de Barros	A logical framework with a graph meta-language
Schoisswohl, Johannes	Automating Induction by Reflection
Southern, Mary	Adelfa: A System for Reasoning about LF Specifications
Sozeau, Matthieu	The MetaCoq Project
W
Wang, Anduo	Towards a Semantic Framework for Policy Exchange in the Internet
Wu, Xiwei	Countability of Inductive Types Formalized in the Object-Logic Level

Disclaimer | Powered by EasyChair Smart Program