Skip to contents

Kluge, Werner [Author]

A user's guide for the reduction system pi-RED

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 ; 9419
Manthey, Norbert [Author]

Towards next generation sequential and parallel SAT solvers

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

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

2014
Comon, Hubert [Editor] ; RTA 8 1997 Sitges

Rewriting techniques and applications : 8th international conference ; 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, 1997

Published in: Lecture notes in computer science ; 1232
Steinbach, Joachim [Author]

Termination of rewriting : extensions, comparison and automatic generation of simplification orderings

View online
Schließen

Close

Bookmarks

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

1994
Blödorn, Harald [Author]

Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9213
Gärtner, Dietmar [Author]

Pi-Red +: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9201
Schmittgen, Claudia [Author]

Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen

View online
Schließen

Close

Bookmarks

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

München; Wien: Oldenbourg, 1987

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 169
Book, Ronald V. [Author]; Otto, Friedrich [Author]

String rewriting systems

View online
Schließen

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
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
Horster, Patrick [Author]

Reduktionssysteme, formale Sprachen und Automatentheorie

Close

Bookmarks

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

1983
Bertol, Michael W. [Author]

Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden

Close

Bookmarks

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

1996
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
Avenhaus, Jürgen [Author]

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

View online
Schließen

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
Zimmer, Ralf M. [Author] ; Zimmer, Ralf Martin [Other]

Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme

View online
Schließen

Close

Bookmarks

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

München; Wien: Oldenbourg, 1991

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 192
Dassow, Jürgen [Author]; Păun, Gheorghe [Author]

Regulated rewriting in formal language theory : with 4 tables

Close

Bookmarks

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

Berlin: Akad.-Verl., 1989

Published in: Mathematische Lehrbücher und Monographien / 2 ; 74
Ohlebusch, Enno [Author]

Advanced topics in term rewriting

View online
Schließen

Close

Bookmarks

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

New York; Berlin [u.a.]: Springer, 2002
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
Dörr, Heiko [Author]

Efficient graph rewriting and its implementation

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

Published in: Lecture notes in computer science ; 922
Baader, Franz [Author]; Nipkow, Tobias [Author]

Term rewriting and all that - [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, 1998
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

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