|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formalised first-order confluence proof for the λ-calculus using one-sorted variable names |
Vestergaard, René |
2003 |
183 | 2 |
p. 212-244 33 p. |
artikel |
|
| 2 | A rewriting approach to satisfiability procedures |
Armando, Alessandro |
2003 |
183 | 2 |
p. 140-164 25 p. |
artikel |
|
| 3 | Editorial Board |
2003 |
183 | 2 |
p. IFC- 1 p. |
artikel |
||
| 4 | Editorial Board–continued |
2003 |
183 | 2 |
p. i- 1 p. |
artikel |
||
| 5 | Orienting rewrite rules with the Knuth–Bendix order |
Korovin, Konstantin |
2003 |
183 | 2 |
p. 165-186 22 p. |
artikel |
|
| 6 | Preface |
Middeldorp, A |
2003 |
183 | 2 |
p. 139- 1 p. |
artikel |
|
| 7 | The context-splittable normal form for Church–Rosser language systems |
Woinowski, Jens R. |
2003 |
183 | 2 |
p. 245-274 30 p. |
artikel |
|
| 8 | The unification problem for confluent right-ground term rewriting systems |
Oyamaguchi, Michio |
2003 |
183 | 2 |
p. 187-211 25 p. |
artikel |
|
| 9 | Volume Author Index |
2003 |
183 | 2 |
p. 275- 1 p. |
artikel |
9 gevonden resultaten