Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz, ed.
- Published
- Berlin ; New York : Springer-Verlag, c1989.
- Physical Description
- vii, 578 p. : ill. ; 25 cm.
View MARC record | catkey: 854010