Term rewriting systems

Editor

Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors]

Publication

Cambridge University

Publication Year

c2003

Collation

xxii, 884 p. : ill

Series

Cambridge tracts in theoretical computer science; v. 55

Bibliography

Bibliography: p. 826-857

Subject

Rewriting systems (Computer science)

ADDED ENTRIES

Bezem, Marc, 1956-, ed

Main Class

005

Sub Class

.131

Cutter no

T319

وارد كنندة اطلاعات

zharfi^d2006/07/10 09:57:03

Link To Document