1996
Correct transformation of rewrite systems for implementation purposes
Publication
Publication
| Additional Metadata | |
|---|---|
| Universiteit van Utrecht, Faculteit Wijsbegeerte | |
| Universiteit van Utrecht Logic Group Preprint Series | |
|
Fokkink, W., & van de Pol, J. (1996). Correct transformation of rewrite systems for implementation purposes. Universiteit van Utrecht Logic Group Preprint Series. Universiteit van Utrecht, Faculteit Wijsbegeerte. |
|