HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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