Liknande böcker

Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
Conditional and Typed Rewriting Systems : 2nd International CTRS Worksho...
Bok av Stephane Kaplan
Programming Language Implementation and Logic Programming : 3rd Internat...
Bok av Jan Maluszynski
Algebraic and Logic Programming
Bok av W. Wechler
Types for Proofs and Programs : International Workshop TYPES '93, Nijmeg...
Bok av Henk Barendregt
Automata, Languages and Programming
Bok av Andrzej Lingas
Logic Programming in Action : Second International Logic Programming Sum...
Bok av Gerard Comyn
Formal Properties of Finite Automata and Applications : LITP Spring Scho...
Bok av Jean-Eric Pin

Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings

Bok av Pierre Lescanne
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.