Keyword:proof

Papers
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