Implementing Term Rewriting by Jungle Evaluation (1991)

Cached

Download Links

by Berthold Hoffmann , Detlef Plump
Venue:RAIRO Theoretical Informatics and Applications
Citations:18 - 1 self