IWIL-2015. 11th International Workshop on the Implementation of Logics11 articles•126 pages•Published: September 27, 2016 PapersPages 1-14 | Pages 15-20 | Pages 21-26 | Pages 27-36 | Pages 37-51 | Pages 52-66 | Pages 67-77 | Pages 78-90 | Pages 91-105 | Pages 106-121 | Pages 122-126 |
Keyphrasesautomated reasoning, automated theorem proving2, backtracking, Boolean calculus, coinduction, Coinductive predicate, Compression, computational linguistics, Dedukti, derivation, equivalence problem, first-order logic, Flyspeck, glucose, greatest fixpoint, higher-order logic, HOL Light, induction, inductive predicate, interpretation, large-theory automated reasoning, learnt clause database, least fixpoint, Logistic Supply Chain, mechanical proof assistant, ML Polymorphism, model, monad, nbSAT, Parsing Mathematics, probability theory, proof, proof certification, proof search, proofcert, Reliability Block Diagrams, Representation of sets of equivalent terms, SAT, Simplification of expressions, tableau method, Tarskian Geometry, TPTP2, TSTP, type checking, verification |
|