HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.