Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA

By clibrary on Mon, 06/23/2025 - 20:08
Author

Nachum Dershowitz

Publisher

Springer

Subject

Computer Science

Year

1989

Vol/Edition

355

ISBN

9783540461494

URL
http://dx.doi.org/10.1007/3-540-51081-8