Login / Signup
Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes.
Hélène Kirchner
Published in:
RTA (1987)
Keyphrases
</>
rewrite rules
viewpoint
query language