Biblioteksøk

Vis søkeskjema

7 treff

rewriting systems computer science congresses

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

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 : 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

Biblioteksøk

Meny

Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Logg inn
Lukk meny