Symbolic Rewriting Techniques
Manuel Bronstein (Editor),
Johannes Grabmeier (Editor)
Buy from £50.72
|
Rewriting Logic and Its...
Francisco Durán (Editor)
Buy from £46.89
eBook from £12.57
|
String-Rewriting Systems
Ronald V Book,
Friedrich Otto
Buy from £50.82
|
Confluent String Rewriting
Matthias Jantzen
Buy from £50.82
|
Advanced Topics in Term...
Enno Ohlebusch
Buy from £50.57
|
Reliability and Six SIGMA
U Dinesh Kumar,
John Crocker, Jr.
Buy from £101.98
|
Rewriting Techniques and...
Aart Middeldorp (Editor)
Buy from £45.94
eBook from £13.83
|
Reflection in Rewriting Logic...
Manuel Clavel
Buy from £61.05
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy from £75.27
eBook from £24.89
|
Rewriting Techniques and...
Leo Bachmair (Editor)
Buy from £10.06
|
Term Rewriting and All That
Tobias Nipkow,
Franz Baader
Buy from £48.91
eBook from £48.26
|
Rewriting Techniques and...
Paliath Narendran (Editor),
Michael Rusinowitch (Editor)
Buy from £37.13
|
Rewriting Techniques and...
Tobias Nipkow (Editor)
Buy from £46.03
|
Rewriting Techniques and...
Harald Ganzinger (Editor)
Buy from £48.42
|
Conditional and Typed...
Nachum Dershowitz (Editor),
Naomi Lindenstrauss (Editor)
Buy from £19.37
|
Efficient Graph Rewriting and...
Heiko Dörr
Buy from £44.89
|
Term Rewriting: French Spring...
Hubert Comon (Editor),
Jean-Pierre Jouannaud (Editor)
Buy from £30.79
|
Rewriting Techniques and...
Jieh Hsiang (Editor)
Buy from £10.59
|
Conditional and Typed...
Stephane Kaplan (Editor),
Mitsuhiro Okada (Editor)
Buy from £49.40
|
Canonical Equational Proofs
Bachmair
Buy from £50.75
|
Operationales Spezifizieren...
Andreas Schürr
Buy from £49.95
|
Rewriting Techniques &...
Jean-Pierre Jouannaud (Editor)
Buy from £88.12
|
Rewriting Techniques and...
Claude Kirchner
Buy from £11.38
|
Conditional and Typed...
S Kaplan
Buy from £12.94
|
