Explore Books on
rewriting systems (computer science)

Higher-order algebra, logic, and term rewriting

By Jan Heering,Karl Meinke,Bernhard Moller

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 Jean-Pierre Jouannaud

Rewriting techniques and applications

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

Applications of graph transformations with industrial relevance

By AGTIVE 2007 (2007 Kassel, Germany)

Applications of graph transformations with industrial relevance

By Manfred Nagl

Applications of Graph Transformations with Industrial Relevance

By Andy Schürr

Term Rewriting and Applications

By Jürgen Giesl

Term Rewriting and Applications

By Frank Pfenning

Rewriting Techniques and Applications

By Robert Nieuwenhuis

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

Rewriting Techniques and Applications

By Pierre Lescanne

Rewriting Techniques and Applications

By Sophie Tison

Conditional and typed rewriting systems

By International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem),Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata,Naomi Lindenstrauss,Nachum Dershowitz

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

By Jieh Hsiang

Conditional term rewriting systems

By International Workshop on Conditional Term Rewriting Systems (3rd 1992 Pont-à-Mousson, France)

Termersetzungssysteme

By Klaus Drosten

Rewriting Techniques and Applications

By Paliath Narendran

Rewriting Techniques and Applications

By Leo Bachmair

Conditional and typed rewriting systems

By International CTRS Workshop (2nd 1990 Montréal, Québec)

Term rewriting

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

Symbolic rewriting technique

By Manuel Bronstein

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

Conditional term rewriting systems

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