PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving

12 articles132 pagesPublished: May 27, 2013

Papers

Page 1
Pages 2-10
Pages 11-26
Pages 27-42
Pages 43-57
Pages 58-66
Pages 67-76
Pages 77-86
Pages 87-95
Pages 96-109
Pages 110-116
Pages 117-132

Keyphrases