Skip to contents

Book, Ronald V. [Author]; Otto, Friedrich [Author]

String rewriting systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Texts and monographs in computer science
Geser, Alfons [Author]

On a monotonic semantic path ordering

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1992

Published in: Ulmer Informatik-Berichte ; 92,13
Ohlebusch, Enno [Author]

Advanced topics in term rewriting

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin [u.a.]: Springer, 2002
Baader, Franz [Author]; Nipkow, Tobias [Author]

Term rewriting and all that - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1998
Sleep, M. R. [Editor]; Plasmeijer, Marinus Jacobus [Editor]; Eekelen, M. C. J. D. van [Editor] ; SemaGraph 1991 Nimwegen

Term graph rewriting : theory and practice

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester [u.a.]: Wiley, 1993

Published in: Wiley professional computing
Bezem, Marc [Editor]; Klop, Jan Willem [Other]; Vrijer, Roel de [Other] ; Terese

Term rewriting systems : Terese - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2003

Published in: Cambridge tracts in theoretical computer science ; 55
Baader, Franz [Author]; Nipkow, Tobias [Author]

Term rewriting and all that - [1st paperback edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge; New York; Melbourne; Madrid; Cape Town: Cambridge University Press, 1999
Dörr, Heiko [Author]

Efficient graph rewriting and its implementation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 922
Sattler-Klein, Andrea [Author]

Divergence phenomena during completion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Fachbereich Informatik, Univ., 1990

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 20300
Jantzen, Matthias [Author]

Confluent string rewriting

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1988

Published in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 14
Plasmeijer, Rinus [Author] ; Eekelen, Marko van [Other]

Functional programming and parallel graph rewriting - [1. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wokingham, England [u.a.]: Addison-Wesley, 1993

Published in: International computer science series
Nagl, Manfred [Editor] ; AGTIVE 1 1999 Kerkrade

Applications of graph transformations with industrial relevance : proceedings ; international workshop

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1779
Giesl, Jürgen [Editor] ; RTA 16 2005 Nara

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19 - 21, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3467
Dershowitz, Nachum [Editor] ; CTRS 4 1994 Yerûšālayim

Conditional and typed rewriting systems : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 968
Nieuwenhuis, Robert [Editor] ; RTA 14 2003 Valencia

Rewriting techniques and applications : 14th international conference, Valencia, Spain, June 9 - 11, 2003 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2003

Published in: Lecture notes in computer science ; 2706
Avenhaus, Jürgen [Author]

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen : mit 39 Abbildungen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York: Springer, 1995

Published in: Springer-Lehrbuch
Madlener, Klaus [Author] ; Otto, Friedrich [Other]

Decidable sentences for context-free groups

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Fachbereich Informatik, Univ., 1990

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 20200
Kuhn, Norbert [Author] ; Madlener, Klaus [Other]; Otto, Friedrich [Other]

A test for [lambda]-confluence for certain prefix rewriting systems with applications to the generalized word problem

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Univ., Fachbereich Informatik, 1990

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 19700
Rusinowitch, Michae͏̈l [Other]; Rusinovič, Michail [Editor] ; CTRS 3 1992 Pont-à-Mousson

Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer-Verl., 1993

Published in: Lecture notes in computer science ; 656
Kaplan, Stéphane [Editor] ; International CTRS Workshop 2 1990 Montréal

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11 - 14, 1990 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Lecture notes in computer science ; 516

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication