Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.