|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Isomorph-Free SEM-Like Enumeration of Models |
Boy de la Tour, Thierry |
2005 |
125 | 2 |
p. 91-113 23 p. |
article |
|
| 2 | Failure Reasoning in Multiple-Strategy Proof Planning |
Meier, Andreas |
2005 |
125 | 2 |
p. 67-90 24 p. |
article |
|
| 3 | Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics |
Lutovac, Tatjana |
2005 |
125 | 2 |
p. 115-147 33 p. |
article |
|
| 4 | Logical Semantics for the Rewriting Calculus |
Stump, Aaron |
2005 |
125 | 2 |
p. 149-164 16 p. |
article |
|
| 5 | Preface |
Bonacina, Maria Paola |
2005 |
125 | 2 |
p. 1-3 3 p. |
article |
|
| 6 | PVS Strategies for Proving Abstraction Properties of Automata |
Mitra, Sayan |
2005 |
125 | 2 |
p. 45-65 21 p. |
article |
|
| 7 | Strategic Issues, Problems and Challenges in Inductive Theorem Proving |
Gramlich, Bernhard |
2005 |
125 | 2 |
p. 5-43 39 p. |
article |
7 results found