Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings

Bok av Michael Rusinowitch