Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 /

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /
Published: (1991)

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
Published: (1988)

Conditional term rewriting systems /
Published: (1993)

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings /
Published: (1996)

Conditional term rewriting systems /
Published: (1993)

Systems of reductions /
by: Benninghofen, B. (Benjamin), 1958-
Published: (1987)

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /
Published: (2006)

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
Published: (1989)

Term rewriting and all that /
by: Baader, Franz
Published: (1998)

String-rewriting systems /
by: Book, Ronald V.
Published: (1993)

Confluent string rewriting /
by: Jantzen, Matthias, 1948-
Published: (1988)

Advanced topics in term rewriting /
by: Ohlebusch, Enno
Published: (2002)

Term rewriting systems /
Published: (2003)

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings /
Published: (1998)

Application of graph rewriting to natural language processing /
by: Bonfante, Guillaume, et al.
Published: (2018)

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings /
Published: (1987)

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
Published: (2001)

Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Published: (2002)

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings /
Published: (2003)

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings /
Published: (2000)

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings /
Published: (1991)

Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings /
Published: (1999)

Rewriting techniques and applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
Published: (1997)

Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings /
Published: (2004)

Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings /
Published: (2004)

Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /
Published: (2007)

Canonical equational proofs /
by: Bachmair, Leo
Published: (1991)

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings /
Published: (1993)

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /
Published: (1996)

Regulated rewriting in formal language theory /
by: Dassow, Jürgen
Published: (1990)

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday /
Published: (2007)

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings /
Published: (2004)

Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 ; revised selected and invited papers /
Published: (2004)

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings /
Published: (2002)

Symbolic rewriting technique /
Published: (1998)

Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 /
Published: (1979)