Idioma:

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

Lescanne, Pierre Lescanne, Pierre

Texto completo disponível

Citações Citado por

Título:
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
Autor: Lescanne, Pierre
Lescanne, Pierre
Assuntos: Computer Science ; Logic design ; Logic, Symbolic and mathematical ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Mathematical Logic and Foundations
Descrição: This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
Títulos relacionados: Lecture Notes in Computer Science
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Data de criação/publicação: 1987
Formato: VIII, 288
Idioma: Inglês

Voltar para lista de resultados