Rewriting Techniques and Applications

View on Open Library

Rewriting Techniques and Applications

by Jean-Pierre Jouannaud

No reviews yet

First published: 1985 1 language ISBN: 0387159762

Subjects

Réécriture Algebraïsche logica Algorithme Informatique théorique Logiciel Congrès Computer programming Termersetzungssystem Démonstration théorème Bewijstheorie

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!