Symbolic Rewriting Techniques
Manuel Bronstein (Editor),
Johannes Grabmeier (Editor)
Buy from $51.65
|
String-Rewriting Systems
Ronald V Book,
Friedrich Otto
Buy from $51.65
|
Confluent String Rewriting
Matthias Jantzen
Buy from $51.65
|
Graph Transformations and...
Gregor Engels (Editor),
Claus Lewerentz (Editor)
Buy from $87.90
eBook from $38.70
|
Reliability and Six SIGMA
U Dinesh Kumar,
John Crocker, Jr.
Buy from $112.72
|
Rewriting Techniques and...
Aart Middeldorp (Editor)
Buy from $47.88
eBook from $16.50
|
Reflection in Rewriting Logic...
Manuel Clavel
Buy from $19.78
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy from $6.81
eBook from $29.70
|
Rewriting Techniques and...
Leo Bachmair (Editor)
Buy from $1.00
|
Term Rewriting and All That
Tobias Nipkow,
Franz Baader
Buy from $59.29
eBook from $54.40
|
Rewriting Techniques and...
Paliath Narendran (Editor),
Michael Rusinowitch (Editor)
Buy from $7.08
|
Rewriting Techniques and...
Tobias Nipkow (Editor)
Buy from $47.98
|
Rewriting Techniques and...
Harald Ganzinger (Editor)
Buy from $50.84
|
Conditional and Typed...
Nachum Dershowitz (Editor),
Naomi Lindenstrauss (Editor)
Buy from $16.16
|
Efficient Graph Rewriting and...
Heiko Dörr
Buy from $51.65
|
Term Rewriting: French Spring...
Hubert Comon (Editor),
Jean-Pierre Jouannaud (Editor)
Buy from $29.80
|
Rewriting Techniques and...
Jieh Hsiang (Editor)
Buy from $5.64
|
Conditional and Typed...
Stephane Kaplan (Editor),
Mitsuhiro Okada (Editor)
Buy from $51.65
|
Canonical Equational Proofs
Bachmair
Buy from $45.19
|
Rewriting Techniques and...
Ronald V Book
Buy from $86.67
|
Operationales Spezifizieren...
Andreas Schürr
Buy from $56.35
|
Rewriting Techniques &...
Jean-Pierre Jouannaud (Editor)
Buy from $107.47
|
Rewriting Techniques and...
Claude Kirchner
Buy from $6.74
|
Conditional and Typed...
S Kaplan
Buy from $8.50
|
