Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
Book information
Description
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
Similar books
Formal Languages and Compilation
2009 · PDF
An Introduction to the Technique of Formative Processes in Set Theory
2018 · PDF
Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
2018 · PDF
Präzises Denken für Informatiker
2017 · PDF
Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
2018 · PDF
Type Systems for Distributed Programs: Components and Sessions
2016 · PDF
Formal Languages and Compilation
2009 · PDF
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
2016 · PDF