Term rewriting systems / Terese : Marc Bezem, Jan Willem Klop, Roel de Vrijer, [et al...]

Date : 2003

Editeur / Publisher : Cambridge : Cambridge University Press , 2003

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-521-39115-6

ISBN : 978-0-521-39115-3

EAN : 9780521391153

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

Classification Dewey : 005.13

Terese (Auteur / author)

Collection : Cambridge tracts in theoretical computer science / Cambridge : Cambridge University Press , 1987-

Résumé / Abstract : Description