Explore Books on
rewriting systems (computer science)

Higher-order algebra, logic, and term rewriting

By Jan Heering,Karl Meinke,Bernhard Moller

Applications of Graph Transformations with Industrial Relevance

By Andy Schürr

Applications of graph transformations with industrial relevance

By AGTIVE 2007 (2007 Kassel, Germany)

Applications of graph transformations with industrial relevance

By Manfred Nagl

Rewriting techniques and applications

By International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)

Rewriting Techniques and Applications

By Jean-Pierre Jouannaud

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

By Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra

Rewriting Techniques and Applications

By Sophie Tison

Rewriting Techniques and Applications

By Pierre Lescanne

Term Rewriting and Applications

By Frank Pfenning

Term Rewriting and Applications

By Jürgen Giesl

All About Maude - A High-Performance Logical Framework

By Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

String-rewriting systems

By Ronald V. Book

Rewriting Techniques and Applications

By Ronald V. Book

Termersetzungssysteme

By Klaus Drosten

Rewriting Techniques and Applications

By Leo Bachmair

Rewriting Techniques and Applications

By Robert Nieuwenhuis

Rewriting Techniques and Applications

By Paliath Narendran

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

By Jieh Hsiang

Symbolic rewriting technique

By Manuel Bronstein

Conditional term rewriting systems

By International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France)

Term graph rewriting

By M. R. Sleep,M. J. Plasmeijer,M. C. J. D. van Eekelen

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

By N. J.) International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick

Term rewriting

By French Spring School of Theoretical Computer Science (1993 Font-Romeu, France),Hubert Comon,Jean-Pierre Jouannaud