Explore Books on
réécriture

Rewriting Techniques and Applications

By Jean-Pierre Jouannaud

CafeOBJ report

By Razvan Diaconescu,Kokichi Futatsugi

Translating relationalqueries into iterative programs

By Johann Christoph Freytag

Foundations of software technology and theoretical computer science

By V. Vinay

Automata, languages and programming

By Pierpaolo Degano

Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)

By S. Biswas

Rewriting techniques and applications

By Pierre Lescanne