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