Rewriting Techniques and Applications

von

4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings

Preis unbekannt

Buch in deiner Nähe kaufen

oder

Beschreibung

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 1991.

Autor*in

Ronald V. Book

Themen in »Rewriting Techniques and Applications«

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

Stimmen zu »Rewriting Techniques and Applications«

Details

ISBN: 9783540463832

Verlag: Springer Berlin

Erscheinung: 03.07.2005