D | |
---|---|
[DKP91] | Nachum Dershowitz,
Stéphane Kaplan et
David A. Plaisted.
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ....
Theoretical Computer Science 83(1):71-96. Elsevier, 1991.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
D | |
---|---|
[DKP91] | Nachum Dershowitz,
Stéphane Kaplan et
David A. Plaisted.
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ....
Theoretical Computer Science 83(1):71-96. Elsevier, 1991.
|