Keyword:proof

Papers
A Philosophical Unification of Arithmetics and Electronic Machine. Frank Appiah EasyChair Preprint no. 8691
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint no. 6194
Clausal Proof Compression Marijn Heule and Armin Biere In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Bidirectional Functional Semantics for Pregroup Grammars Gabriel Gaudreault In:NLCS'15. Third Workshop on Natural Language and Computer Science
Different Proofs are Good Proofs Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions