Skip to contents

Bündgen, Reinhard [Author]

Termersetzungssysteme : Theorie, Implementierung, Anwendung

View online
Schließen

Close

Bookmarks

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

Braunschweig; Wiesbaden: Vieweg, 1998

Published in: Vieweg-Lehrbuch Informatik
Gramlich, Bernhard [Author]

Termination and confluence properties of structured rewrite systems

Close

Bookmarks

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

1996
Ohlebusch, Enno [Author]

Modular properties of composable term rewriting systems

Close

Bookmarks

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

Bielefeld: Techn. Fak. der Univ. Bielefeld, Abt. Informationstechnik, 1994

Published in: Universität Bielefeld: Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik ; 94,01
Lohrey, Markus [Author]

Das Konfluenzproblem für Spurersetzungssysteme

Close

Bookmarks

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

1999
Hußmann, Heinrich [Author]

Nondeterminism in algebraic specifications and algebraic programs

View online
Schließen

Close

Bookmarks

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

Boston; Berlin [u.a.]: Birkhäuser, 1993

Published in: Progress in theoretical computer science ; 8
Becker, Klaus P. [Author]

Rewrite operationalization of clausal specifications with predefined structures

Close

Bookmarks

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

1994
Fortenbacher, Albrecht [Author]

Effizientes Rechnen in AC-Gleichungstheorien

Close

Bookmarks

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

1989
Gupta, Anoop [Author]

Parallelism in production systems

View online
Schließen

Close

Bookmarks

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

London: Pitman [u.a.], 1987

Published in: Research notes in artificial Intelligence
Drosten, Klaus [Author]

Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen

Close

Bookmarks

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

1988
Sattler-Klein, Andrea [Author]

A systematic study of infinite canonical systems generated by Knuth-Bendix completion : and related problems

Close

Bookmarks

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

1996
Buth, Karl-Heinz [Author]

Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems

Close

Bookmarks

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

Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9414
Wißmann, Dieter [Author]

Anwendung von Rewriting-Techniken in polyzyklischen Gruppen

Close

Bookmarks

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

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

View online
Schließen

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

View online
Schließen

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
Bezem, Marc [Editor]; Klop, Jan Willem [Other]; Vrijer, Roel de [Other] ; Terese

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

View online
Schließen

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]

View online
Schließen

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
Emmelmann, Helmut [Author]

Codeselektion mit regulär gesteuerter Termersetzung

View online
Schließen

Close

Bookmarks

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

München [u.a.]: Oldenbourg, 1994

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 241
Göbel, Richard [Author]

A completion procedure for generating ground confluent term rewriting systems

Close

Bookmarks

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

1988
Giesl, Jürgen [Editor] ; RTA 16 2005 Nara

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

View online
Schließen

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

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