IWIL 2010: Volume Information

IWIL 2010. The 8th International Workshop on the Implementation of Logics

Papers

Keyphrases

AES, automated theorem proving, column generation, complexity analysis, Definite Clause Grammar, derivational complexity, Description Logic, discrete mathematics, Dummett Logic, finite models, implicational intuitionistic-logic, incidence structures, lambda calculus, Optimization, polyhedra, probability, program synthesis, proof tool, SAT², tableau calculi, term rewriting, theorem provers, type inhabitant search algorithm, type theory.