Rewrite systems / N. Dershowitz, J-P. Jouannaud

Date :

Editeur / Publisher : Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique , 1989

Type : Livre / Book

Langue / Language : anglais / English

Réécriture, Systèmes de (informatique)

Classification Dewey : 004