21 treff

rewriting systems computer science
String-rewriting systems
Ronald V. Book, Friedrich Otto
Bok Engelsk 1993 · Vis mer
Substitutions in dynamics, arithmetics, and combinatorics
N. Pytheas Fogg ; editors, V. Berthé ... ...
Bok Engelsk 2002 · Vis mer
Symbolic rewriting techniques
Manuel Bronstein, Johannes Grabmeier, Vol...
Bok Engelsk 1998 · Vis mer
Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings
International CTRS Workshop
Bok Engelsk 1993 · Vis mer
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
International CTRS Workshop
Bok Engelsk 1991 · Vis mer
Term rewriting and all that
Franz Baader and Tobias Nipkow
Bok Engelsk 1998 · Vis mer
Advanced topics in term rewriting
Enno Ohlebusch
Bok Engelsk 2002 · Vis mer
Efficient graph rewriting and its implementation
Heiko Dörr
Bok Engelsk 1995 · Vis mer
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2002 · Vis mer
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2001 · Vis mer
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2000 · Vis mer
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999 · Vis mer
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996 · Vis mer
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995 · Vis mer
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Reflection in rewriting logic : metalogical foundations and metaprogramming applications
Manuel Clavel
Bok Engelsk 2000 · Vis mer
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], France, May 17-21, 1993 : advanced course
French Spring School of Theoretical Computer Science
Bok Engelsk 1995 · Vis mer
Regulated rewriting in formal language theory
Jürgen Dassow, Gheorghe Păun
Bok Engelsk 1989 · Vis mer
Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
AGTIVE'99
Bok Engelsk 2000 · Vis mer
Canonical equational proofs
Leo Bachmair
Bok Engelsk 1991 · Vis mer