HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

IWIL 2012. The 9th International Workshop on the Implementation of Logics

Editors: Konstantin Korovin, Stephan Schulz and Eugenia Ternovska
EPiC Series in Computing•Volume 22
5 articles•52 pages•Published: November 25, 2013

Papers

Engineering Theories with Z3
Nikolaj Bjorner
Pages 1-2
Craig Interpolation for the Integers: Results, Implementation, and Experiences
Philipp Rümmer
Page 3
Efficient Rule-Matching for Hyper-Tableaux
Bjarne Holen, Dag Hovland and Martin Giese
Pages 4-17
Implementing Connection Calculi for First-order Modal Logics
Jens Otten
Pages 18-32
Understanding LEO-II’s proofs
Nik Sultana and Christoph Benzmüller
Pages 33-52

Keyphrases

automated theorem proving2, coherent logic, connection calculus, first-order logic, first-order modal logic, higher-order logic, implementation, proof objects, Rete
Copyright © 2012-2023 easychair.org. All rights reserved.