Symbolic Rewriting Techniques
Manuel Bronstein (Editor),
Johannes Grabmeier (Editor)
Buy new from $60.65
|
String-Rewriting Systems
Ronald V Book,
Friedrich Otto
Buy new from $60.65
|
Regulated Rewriting in Formal...
Jürgen Dassow,
Gheorghe Paun
Buy new from $112.32
|
Confluent String Rewriting
Matthias Jantzen
Buy new from $60.65
|
Advanced Topics in Term...
Enno Ohlebusch
Buy new from $60.65
|
Graph Transformations and...
Gregor Engels (Editor),
Claus Lewerentz (Editor)
Buy new from $112.32
eBook from $38.70
|
Reliability and Six SIGMA
U Dinesh Kumar,
John Crocker, Jr.
Buy new from $121.72
|
Reliability and Six SIGMA
U Dinesh Kumar,
John Crocker, Jr.
Buy new from $106.47
eBook from $32.70
|
Symbolic Rewriting Techniques
Manuel Bronstein,
Johannes Grabmeier (Editor)
Buy new from $97.96
|
Term Rewriting Systems
Terese
Buy new from $198.66
|
Advanced Topics in Term...
Enno Ohlebusch
Buy new from $54.04
eBook from $16.50
|
Rewriting Techniques and...
Aart Middeldorp (Editor)
Buy new from $60.65
eBook from $16.50
|
Reflection in Rewriting Logic...
Manuel Clavel
Buy new from $41.81
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy new from $112.32
eBook from $29.70
|
Rewriting Techniques and...
Leo Bachmair (Editor)
Buy new from $60.65
|
Term Rewriting and All That
Tobias Nipkow,
Franz Baader
Buy new from $58.48
eBook from $57.60
|
Rewriting Techniques and...
Paliath Narendran (Editor),
Michael Rusinowitch (Editor)
Buy new from $60.65
|
Rewriting Techniques and...
Tobias Nipkow (Editor)
Buy new from $60.65
|
String-Rewriting Systems
Ronald V Book,
Friedrich Otto
Buy new from $78.82
|
Rewriting Techniques and...
Hubert Comon (Editor)
Buy new from $60.65
|
Rewriting Techniques and...
Harald Ganzinger (Editor)
Buy new from $60.65
|
Higher-Order Algebra, Logic,...
Gilles Dowek (Editor),
Jan Heering (Editor)
Buy new from $60.65
|
Conditional and Typed...
Nachum Dershowitz (Editor),
Naomi Lindenstrauss (Editor)
Buy new from $60.65
|
Efficient Graph Rewriting and...
Heiko Dörr
Buy new from $54.04
|
