nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An Optimal Decision Procedure for Right Propositional Neighborhood Logic
|
Bresolin, Davide |
|
2006 |
|
1-3 |
p. 173-199 |
artikel |
2 |
A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux
|
Cantone, Domenico |
|
2006 |
|
1-3 |
p. 31-56 |
artikel |
3 |
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
|
Lutz, Carsten |
|
2006 |
|
1-3 |
p. 227-259 |
artikel |
4 |
Comparing Instance Generation Methods for Automated Reasoning
|
Jacobs, Swen |
|
2006 |
|
1-3 |
p. 57-78 |
artikel |
5 |
Efficient Query Processing with Reduced Implicate Tries
|
Murray, Neil V. |
|
2006 |
|
1-3 |
p. 155-172 |
artikel |
6 |
Graph-based Decision for Gödel-Dummett Logics
|
Larchey-Wendling, Dominique |
|
2006 |
|
1-3 |
p. 201-225 |
artikel |
7 |
Liberalized Variable Splitting
|
Antonsen, Roger |
|
2007 |
|
1-3 |
p. 3-30 |
artikel |
8 |
Preface
|
Beckert, Bernhard |
|
2007 |
|
1-3 |
p. 1-2 |
artikel |
9 |
Superposition-based Equality Handling for Analytic Tableaux
|
Giese, Martin |
|
2006 |
|
1-3 |
p. 127-153 |
artikel |
10 |
The Disconnection Tableau Calculus
|
Letz, Reinhold |
|
2006 |
|
1-3 |
p. 79-126 |
artikel |
11 |
The ILTP Problem Library for Intuitionistic Logic
|
Raths, Thomas |
|
2007 |
|
1-3 |
p. 261-271 |
artikel |