Media type: Journal; Conference Proceedings Title: Rewriting techniques and applications : proceedings Event: International Conference on Rewriting Techniques and Applications RTA Published: Berlin; Heidelberg [u.a.]: Springer, 1985-1989 Publication information: 1.1985 - 3.1989 Language: Not determined Keywords: Automatisches Beweisverfahren Origination: Footnote: Urh. anfangs: International Conference on Rewriting Techniques and Applications Forts. als Monographie behandelt