|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Deduction, Strategies, and Rewriting |
Eker, Steven |
2007 |
174 | 11 |
p. 3-25 23 p. |
artikel |
|
| 2 | Preface |
Archer, Myla |
2007 |
174 | 11 |
p. 1-2 2 p. |
artikel |
|
| 3 | PVS#: Streamlined Tacticals for PVS |
Kirchner, Florent |
2007 |
174 | 11 |
p. 47-58 12 p. |
artikel |
|
| 4 | Rewrite-Based Decision Procedures |
Bonacina, Maria Paola |
2007 |
174 | 11 |
p. 27-45 19 p. |
artikel |
|
| 5 | Translation Templates to Support Strategy Development in PVS |
Lim, Hongping |
2007 |
174 | 11 |
p. 59-79 21 p. |
artikel |
5 gevonden resultaten