Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
IWIL 2010
:
Keyword Index
Keyword
Papers
A
AES
Optimizing the AES S-Box using SAT
automated theorem proving
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
C
column generation
Implementing an Efficient SAT Solver for a Probabilistic Description Logic
complexity analysis
On Implementing Modular Complexity Analysis
D
Definite Clause Grammar
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
derivational complexity
On Implementing Modular Complexity Analysis
Description Logic
Implementing an Efficient SAT Solver for a Probabilistic Description Logic
discrete mathematics
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Dummett Logic
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
F
finite models
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
I
implicational intuitionistic-logic
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
incidence structures
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
L
lambda calculus
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
O
Optimization
Optimizing the AES S-Box using SAT
P
polyhedra
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
probability
Implementing an Efficient SAT Solver for a Probabilistic Description Logic
program synthesis
Optimizing the AES S-Box using SAT
proof tool
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
S
SAT
Implementing an Efficient SAT Solver for a Probabilistic Description Logic
Optimizing the AES S-Box using SAT
T
tableau calculi
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
term rewriting
On Implementing Modular Complexity Analysis
theorem provers
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
type inhabitant search algorithm
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
type theory
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
Copyright © 2012-2023 easychair.org. All rights reserved.