1992
Modularity in many-sorted term rewriting systems
Publication
Publication
Additional Metadata | |
---|---|
Universiteit Utrecht | |
Utrecht University report | |
van de Pol, J. (1992, January). Modularity in many-sorted term rewriting systems (No. INF/SCR-92-37). Utrecht University report. Universiteit Utrecht. |