|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Logic for Rewriting Strategies |
Kieburtz, Richard B. |
2001 |
58 | 2 |
p. 138-154 17 p. |
artikel |
|
| 2 | A Pragmatic Approach to Reuse in Tactical Theorem Proving |
Schairer, Axel |
2001 |
58 | 2 |
p. 203-216 14 p. |
artikel |
|
| 3 | A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas |
Autexier, Serge |
2001 |
58 | 2 |
p. 189-202 14 p. |
artikel |
|
| 4 | Induction for termination with local strategies |
Fissore, Olivier |
2001 |
58 | 2 |
p. 155-188 34 p. |
artikel |
|
| 5 | Mechanical Software Verification |
Goerigk, Wolfgang |
2001 |
58 | 2 |
p. 117-137 21 p. |
artikel |
|
| 6 | Preface |
Bonacina, Maria Paola |
2001 |
58 | 2 |
p. 217-218 2 p. |
artikel |
6 gevonden resultaten