IWIL 2010: Keyword Index

KeywordPapers
a
AESOptimizing the AES S-Box using SAT
automated theorem provingTableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
c
column generationImplementing an Efficient SAT Solver for a Probabilistic Description Logic
complexity analysisOn Implementing Modular Complexity Analysis
d
Definite Clause GrammarA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
derivational complexityOn Implementing Modular Complexity Analysis
Description LogicImplementing an Efficient SAT Solver for a Probabilistic Description Logic
discrete mathematicsExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Dummett LogicTableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
f
finite modelsExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
i
implicational intuitionistic-logicA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
incidence structuresExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
l
lambda calculusA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
o
OptimizationOptimizing the AES S-Box using SAT
p
polyhedraExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
probabilityImplementing an Efficient SAT Solver for a Probabilistic Description Logic
program synthesisOptimizing the AES S-Box using SAT
proof toolA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
s
SATImplementing an Efficient SAT Solver for a Probabilistic Description Logic
Optimizing the AES S-Box using SAT
t
tableau calculiTableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
term rewritingOn Implementing Modular Complexity Analysis
theorem proversExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
type inhabitant search algorithmA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
type theoryA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic