Conditional term rewriting systems
Subtitle: papers selected from the third International Workshop on Conditional Term Rewriting Systems held on 8-10 July 1992 at Pont-à-Mousson, France
By: Michael Rusinowitch and Jean-Luc Rémy, special issue editors.
Contributors: Rusinowitch, M.; Rémy, J. L.
Series: Journal of symbolic computation -- vol.17 (1)
Publisher: Academic Press
Published: 1994
Place of publication: london
Language: eng
Notes: Special issue.