Codeselektion mit regulär gesteuerter Termersetzung /

Codeselektion mit regulär gesteuerter Termersetzung /

Saved in:

Bibliographic Details
Author / Creator:	Emmelmann, Helmut.
Imprint:	München : R. Oldenbourg Verlag, 1994.
Description:	228 p. : ill. ; 23 cm.
Language:	German
Series:	GMD-Bericht, 0533-9480 ; Nr. 241 Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 241.
Subject:	Coding theory. Rewriting systems (Computer science) Coding theory. Rewriting systems (Computer science)
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/5718611

Hidden Bibliographic Details
Notes:	Originally presented as the author's thesis (doctoral--Karlsruhe, 1994). Includes bibliographical references (p. 201-207).

Similar Items

Generierung von Programmoptimierungen mit Graphersetzungssystemen /
by: Assmann, Uwe
Published: (1996)

Term rewriting systems /
Published: (2003)

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

Efficient graph rewriting and its implementation /
by: Dörr, Heiko, 1962-
Published: (1995)

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

On the regularity calculus and its role in distributed programming /
by: Rönn, Stefan
Published: (1992)

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

Regulated rewriting in formal language theory /
by: Dassow, Jürgen
Published: (1989)

Conditional term rewriting systems /
Published: (1993)

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

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 and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /
Published: (1991)

Conditional term rewriting systems /
Published: (1993)

Substitutions in dynamics, arithmetics, and combinatorics /
by: Pytheas Fogg, N.
Published: (2002)

Substitutions in dynamics, arithmetics, and combinatorics /
by: Pytheas Fogg, N.
Published: (2002)

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings /
Published: (2005)

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)

Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings /
Published: (2000)

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)

Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings /
Published: (2000)

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course /
Published: (1995)

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
Published: (2005)

Reflection in rewriting logic : metalogical foundations and metaprogramming applications /
by: Clavel, Manuel, 1969-
Published: (2000)

All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic /
by: Clavel, Manuel, 1969-
Published: (2007)

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

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 : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings /
Published: (1999)

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

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)

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

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

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

Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings /
Published: (2001)

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
Published: (1995)

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings /
Published: (2005)

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

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