Normal view
MARC view
International Conference on Rewriting Techniques and Applications (2nd : 1987 : Bordeaux, France) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Rewriting techniques and applications :, ©1987.