Term Rewriting and All That
Franz Baader,
Tobias Nipkow
Buy from $87.00
|
Term Rewriting Systems
Terese
Buy from $198.66
|
Reliability and Six SIGMA
U Dinesh Kumar,
John Crocker, Jr.
Buy from $100.63
eBook from $32.70
|
String-Rewriting Systems
Ronald V Book,
Friedrich Otto
Buy from $76.42
|
Advanced Topics in Term...
Enno Ohlebusch
Buy from $23.01
eBook from $16.50
|
Symbolic Rewriting Techniques
Manuel Bronstein,
Johannes Grabmeier (Editor)
Buy from $97.96
|
Implementation of Term...
Nadia Nedjah
Buy from $117.00
|
Regulated Rewriting in Formal...
Jurgen Dassow,
Gheorghe Paun
Buy from $94.58
|
Confluent String Rewriting
Matthias Jantzen
Buy from $34.94
|
Reflection in Rewriting Logic...
Manuel Clavel
Buy from $67.00
|
Canonical Equational Proofs
Leo Bachmair
Buy from $66.27
|
Confluent String Rewriting
M Jantzen,
Matthias Jantzen
Buy from $41.59
|
