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-2023 easychair.org. All rights reserved.