Rewriting systems Computer science Books

Efficient Graph Rewriting and...

Heiko D÷rr
Buy from $54.07

Functional Programming and...

Rinus Plasmeijer, Marko Van Eekelen
Buy from $137.13

Term Rewriting and All That

Franz Baader, Tobias Nipkow
Buy from $87.00

Term Rewriting Systems

Terese
Buy from $198.66

Reflection in Rewriting Logic...

Manuel Clavel
Buy from $27.35

String-Rewriting Systems

Ronald V Book, Friedrich Otto
Buy from $60.65

Rewriting Techniques and...

Tobias Nipkow (Editor)
Buy from $54.95

Reliability and Six SIGMA

U Dinesh Kumar, John Crocker, Jr.
Buy from $99.39
eBook from $32.70

Term Rewriting: French Spring...

Hubert Comon
Buy from $36.77

Regulated Rewriting in Formal...

J?rgen Dassow, Gheorghe Paun
Buy from $49.95
eBook from $148.99

Confluent String Rewriting

Matthias Jantzen
Buy from $33.04

Applications of Graph...

Manfred Nagl (Editor), Andreas Sch?rr (Editor)
Buy from $13.78
eBook from $29.70

Canonical Equational Proofs

Bachmair
Buy from $53.40

Symbolic Rewriting Techniques

Manuel Bronstein (Editor), Johannes Grabmeier (Editor)
Buy from $60.65

Higher-Order Algebra, Logic,...

J Heering, International Workshop on Higher-Order Algebra Logic and Term Rewriting
Buy from $60.65

Term Rewriting and All That

Tobias Nipkow
Buy from $58.48
eBook from $57.60

Conditional Term Rewriting...

Michael Rusinowitch (Editor), Jean-Luc Remy (Editor)
Buy from $60.65

Rewriting Techniques and...

Paliath Narendran (Editor), Michael Rusinowitch (Editor)
Buy from $14.06

Higher-Order Algebra, Logic,...

Gilles Dowek (Editor), Jan Heering (Editor)
Buy from $60.65

Rewriting Techniques and...

Pierre Lescanne (Editor)
Buy from $55.96

Rewriting Techniques and...

Jieh Hsiang (Editor)
Buy from $12.92

Rewriting Techniques &...

Jean-Pierre Jouannaud (Editor)
Buy from $114.47

Conditional Term Rewriting...

M Rusinowitch
Buy from $53.71

Rewriting Techniques and...

Claude Kirchner
Buy from $14.08