|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| 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 |
11 gevonden resultaten