Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
IWIL 2012
:
Keyword Index
Keyword
Papers
A
automated theorem proving
Efficient Rule-Matching for Hyper-Tableaux
Understanding LEO-II’s proofs
C
coherent logic
Efficient Rule-Matching for Hyper-Tableaux
connection calculus
Implementing Connection Calculi for First-order Modal Logics
F
first-order logic
Efficient Rule-Matching for Hyper-Tableaux
first-order modal logic
Implementing Connection Calculi for First-order Modal Logics
H
higher-order logic
Understanding LEO-II’s proofs
I
implementation
Implementing Connection Calculi for First-order Modal Logics
P
proof objects
Understanding LEO-II’s proofs
R
Rete
Efficient Rule-Matching for Hyper-Tableaux
Copyright © 2012-2023 easychair.org. All rights reserved.