Skip to main content alibris logo

New Release Rewriting systems Computer science Books

Symbolic Rewriting Techniques Symbolic Rewriting Techniques

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

String-Rewriting Systems String-Rewriting Systems

Ronald V Book, Friedrich Otto
Buy from $60.65

Regulated Rewriting in Formal Language Theory Regulated Rewriting in Formal...

Jürgen Dassow, Gheorghe Paun
Buy from $112.32

Confluent String Rewriting Confluent String Rewriting

Matthias Jantzen
Buy from $60.65

Reliability and Six SIGMA Reliability and Six SIGMA

U Dinesh Kumar, John Crocker, Jr.
Buy from $121.72

Deformable Models Deformable Models

Aly Farag (Editor)
Buy from $108.93

Reliability and Six SIGMA Reliability and Six SIGMA

U Dinesh Kumar, John Crocker, Jr.
Buy from $69.77

Symbolic Rewriting Techniques Symbolic Rewriting Techniques

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

Implementation of Term Rewriting-Based Programming Languages Implementation of Term...

Nadia Nedjah
Buy from $117.00

Term Rewriting Systems Term Rewriting Systems

Terese
Buy from $215.42

Rewriting Techniques and Applications: 12th International Conference, Rta 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings Rewriting Techniques and...

Aart Middeldorp (Editor)
Buy from $54.96

Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99 Kerkrade, the Netherlands, September 1-3, 1999 Proceedings Applications of Graph...

Manfred Nagl (Editor), Andreas Schürr (Editor)
Buy from $13.89

Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000 Proceedings Rewriting Techniques and...

Leo Bachmair (Editor)
Buy from $15.78

Rewriting Techniques and Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings Rewriting Techniques and...

Paliath Narendran (Editor), Michael Rusinowitch (Editor)
Buy from $13.95

Term Rewriting and All That Term Rewriting and All That

Franz Baader, Tobias Nipkow
Buy from $120.19

Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings Rewriting Techniques and...

Tobias Nipkow (Editor)
Buy from $55.06

String-Rewriting Systems String-Rewriting Systems

Ronald V Book, Friedrich Otto
Buy from $95.51

Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings Rewriting Techniques and...

Hubert Comon (Editor)
Buy from $60.65

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings Rewriting Techniques and...

Harald Ganzinger (Editor)
Buy from $57.92

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers Higher-Order Algebra, Logic,...

Gilles Dowek (Editor), Jan Heering (Editor)
Buy from $60.65

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings Conditional and Typed...

Nachum Dershowitz (Editor), Naomi Lindenstrauss (Editor)
Buy from $23.24

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications Reflection in Rewriting Logic...

Manuel Clavel
Buy from $67.00

Rewriting Techniques & Applications Rewriting Techniques &...

Jean-Pierre Jouannaud (Editor)
Buy from $118.97

  1. < Prev
  2. 1
  3. 2
  4. Next >