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. |