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

IWIL 2012: Keyword Index

KeywordPapers
a
automated theorem provingEfficient Rule-Matching for Hyper-Tableaux
Understanding LEO-II’s proofs
c
coherent logicEfficient Rule-Matching for Hyper-Tableaux
connection calculusImplementing Connection Calculi for First-order Modal Logics
f
first-order logicEfficient Rule-Matching for Hyper-Tableaux
first-order modal logicImplementing Connection Calculi for First-order Modal Logics
h
higher-order logicUnderstanding LEO-II’s proofs
i
implementationImplementing Connection Calculi for First-order Modal Logics
p
proof objectsUnderstanding LEO-II’s proofs
r
ReteEfficient Rule-Matching for Hyper-Tableaux
Copyright © 2012-2025 easychair.org. All rights reserved.