Skip to main content
alibris logo

  • Books
  • Rewriting systems Computer science

Rewriting systems Computer science Books

Favorites

Condition

Formats

Book subjects like Rewriting systems Computer science

Browse All Subjects




Efficient Graph Rewriting and Its Implementation Efficient Graph Rewriting and...

Heiko D÷rr
Buy from $56.88

Term Rewriting Systems Term Rewriting Systems

Terese
Buy from $215.42

Term Rewriting and All That Term Rewriting and All That

Franz Baader, Tobias Nipkow
Buy from $120.19

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

String-Rewriting Systems String-Rewriting Systems

Ronald V Book, Friedrich Otto
Buy from $60.65

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

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

J?rgen Dassow, Gheorghe Paun
Buy from $49.95

Reliability and Six SIGMA Reliability and Six SIGMA

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

Confluent String Rewriting Confluent String Rewriting

Matthias Jantzen
Buy from $30.10

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

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

Manuel Clavel
Buy from $67.00

Canonical Equational Proofs Canonical Equational Proofs

Bachmair
Buy from $57.00

Symbolic Rewriting Techniques Symbolic Rewriting Techniques

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

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers Rewriting Logic and Its...

Francisco Durßn (Editor)
Buy from $55.96

Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings Rewriting Techniques and...

Jieh Hsiang (Editor)
Buy from $12.64

Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstutzung Herausgegeben Und Eingeleitet Von Manfred Nagl Operationales Spezifizieren...

Andreas Sch?rr
Buy from $65.35

Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings Conditional Term Rewriting...

Michael Rusinowitch (Editor), Jean-Luc Remy (Editor)
Buy from $60.65

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

Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 Rewriting Techniques and...

Jean-Pierre Jouannaud
Buy from $10.41

Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995: Proceedings Rewriting Techniques and...

Jieh Hsiang
Buy from $54.86

Term Graph Rewriting: Theory and Practice Term Graph Rewriting: Theory...

M R Sleep (Editor), M J Plasmeijer (Editor)
Buy from $126.22

Rewriting Techniques & Applications Rewriting Techniques &...

Jean-Pierre Jouannaud (Editor)
Buy from $118.97

Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings Conditional Term Rewriting...

M Rusinowitch
Buy from $53.82

Rewriting Techniques and Applications: 5th International Conference, Rta-93, Montreal, Canada, June 16-18, 1993. Proceedings Rewriting Techniques and...

Claude Kirchner
Buy from $17.88

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

Related Books
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris UK. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.