Rewriting systems Computer science Books

Functional Programming and...

Rinus Plasmeijer, Marko Van Eekelen
Buy from $130.13

Efficient Graph Rewriting and...

Heiko D÷rr
Buy from $46.02

Term Rewriting and All That

Franz Baader, Tobias Nipkow
Buy from $80.00

Reflection in Rewriting Logic...

Manuel Clavel
Buy from $19.98

Term Rewriting Systems

Terese
Buy from $208.66

String-Rewriting Systems

Ronald V Book, Friedrich Otto
Buy from $51.65

Rewriting Techniques and...

Tobias Nipkow (Editor)
Buy from $47.98

Reliability and Six SIGMA

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

Term Rewriting: French Spring...

Hubert Comon
Buy from $29.80

Regulated Rewriting in Formal...

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

Confluent String Rewriting

Matthias Jantzen
Buy from $43.04

Advanced Topics in Term...

Enno Ohlebusch
Buy from $36.01
eBook from $16.50

Applications of Graph...

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

Canonical Equational Proofs

Bachmair
Buy from $45.19

Symbolic Rewriting Techniques

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

Higher-Order Algebra, Logic,...

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

Term Rewriting and All That

Tobias Nipkow, Franz Baader
Buy from $59.29
eBook from $54.40

Rewriting Techniques and...

Pierre Lescanne (Editor)
Buy from $46.96

Conditional and Typed...

Stephane Kaplan (Editor), Mitsuhiro Okada (Editor)
Buy from $51.65

Rewriting Techniques and...

Hubert Comon (Editor)
Buy from $51.65

Implementation of Term...

Nadia Nedjah
Buy from $110.00

Rewriting Techniques &...

Jean-Pierre Jouannaud (Editor)
Buy from $107.47

Rewriting Techniques and...

Claude Kirchner
Buy from $6.74

Conditional Term Rewriting...

M Rusinowitch
Buy from $46.74