This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 1991.
Ronald V. Book
Automatisches Schließen Beweissysteme Programmiersprache Rechnergestützte Entscheidung Term rewriting systems Verifikation optimization proving reasoning term rewriting theorem proving theorem proving systems verification algorithm analysis and problem complexity