30 treff

omskrivning programmering
String-rewriting systems
Ronald V. Book, Friedrich Otto
Bok Engelsk 1993 · Vis mer
Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings
International Workshop PLILP '90
Bok Engelsk 1990 · Vis mer
Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Term graph rewriting : theory and practice
edited by M. R. Sleep and M. J. Plasmeije...
Bok Engelsk 1993 · 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 : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998 · Vis mer
Principles of declarative programming : 10th international symposium, PLILP'98 : held jointly with the 6th international conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings
PLILP '98
Bok Engelsk 1998 · Vis mer
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1997 · 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
Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1997 · 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
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
International Joint Conference CAAP/FASE
Bok Engelsk 1997 · Vis mer
Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings
V. Chandru, V. Vinay (eds.)
Bok Engelsk 1996 · Vis mer
Algebraic and logic programming : 5th international conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1996 · 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
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings
International CTRS Workshop
Bok Engelsk 1995 · Vis mer
Functional programming and parallel graph rewriting
Rinus Plasmeijer, Marko van Eekelen
Bok Engelsk 1993 · Vis mer
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1989 · Vis mer
Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1993 · 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
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1991 · 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
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
S. Kaplan, J.-P. Jouannaud (eds.)
Bok Engelsk 1988 · Vis mer
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1987 · Vis mer
Rewriting techniques and applications : Dijon, France, May 20-22, 1985
International Conference on Rewriting Techniques and Applications
Bok Språk ikke angitt 1985 · Vis mer