IWIL-2015: Volume Information

IWIL-2015. 11th International Workshop on the Implementation of Logics

Papers

Keyphrases

automated reasoning, automated theorem proving², 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, TPTP², TSTP, type checking, verification.