PxTP 2013:Author Index

AuthorPapers
B
Benzmüller, ChristophLEO-II Version 1.5
Blanchette, Jasmin ChristianRedirecting Proofs by Contradiction
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs
Brown, ChadFrom Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
Burel, GuillaumeA Shallow Embedding of Resolution and Superposition Proofs into the $\lambda\Pi$-Calculus Modulo
C
Chihani, ZakariaChecking Foundational Proof Certificates for First-Order Logic (Extended Abstract)
F
Felty, AmyTranslating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
H
Habli, NadaTranslating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
Hales, ThomasExternal Tools for the Formal Proof of the Kepler Conjecture
K
Kaliszyk, CezaryInitial Experiments on Deriving a Complete HOL Simplification Set
Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution
Keller, ChantalExtended Resolution as Certificates for Propositional Logic
Kumar, RamanaChallenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4
M
Miller, DaleChecking Foundational Proof Certificates for First-Order Logic (Extended Abstract)
R
Renaud, FabienChecking Foundational Proof Certificates for First-Order Logic (Extended Abstract)
Rizkallah, ChristineFrom Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
S
Smolka, Steffen JuilfRobust, Semi-Intelligible Isabelle Proofs from ATP Proofs
Sternagel, ThomasInitial Experiments on Deriving a Complete HOL Simplification Set
Sultana, NikLEO-II Version 1.5
U
Urban, JosefStronger Automation for Flyspeck by Feature Weighting and Strategy Evolution