|
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 | A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation |
Akama, Kiyoshi |
2001 |
59 | 4 |
p. 255-270 16 p. |
artikel |
|
| 2 | Certifying Term Rewriting Proofs in ELAN |
Nguyen, Quang-Huy |
2001 |
59 | 4 |
p. 320-340 21 p. |
artikel |
|
| 3 | Interpreting Abstract Interpretations in Membership Equational Logic |
Fischer, Bernd |
2001 |
59 | 4 |
p. 271-285 15 p. |
artikel |
|
| 4 | Knuth-Bendix Completion for Non-Symmetric Transitive Relations |
Struth, Georg |
2001 |
59 | 4 |
p. 341-357 17 p. |
artikel |
|
| 5 | MGS |
Giavitto, Jean-Louis |
2001 |
59 | 4 |
p. 286-304 19 p. |
artikel |
|
| 6 | Preface |
van den Brand, Mark |
2001 |
59 | 4 |
p. 425-426 2 p. |
artikel |
|
| 7 | Rule-based Programming for Building Expert Systems |
Lamma, E. |
2001 |
59 | 4 |
p. 397-411 15 p. |
artikel |
|
| 8 | Scoped Dynamic Rewrite Rules |
Visser, Eelco |
2001 |
59 | 4 |
p. 375-396 22 p. |
artikel |
|
| 9 | Syntactic Theories in Practice |
Danvy, Olivier |
2001 |
59 | 4 |
p. 358-374 17 p. |
artikel |
|
| 10 | System Presentation |
Moyen, J.-Y. |
2001 |
59 | 4 |
p. 412-424 13 p. |
artikel |
|
| 11 | Transformation of Shaped Nested Graphs and Diagrams 1 1 This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). |
Hoffmann, Berthold |
2001 |
59 | 4 |
p. 305-319 15 p. |
artikel |
11 gevonden resultaten