Zum Inhalt springen

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

String rewriting systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Texts and monographs in computer science
Geser, Alfons [VerfasserIn]

On a monotonic semantic path ordering

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Ulmer Informatik-Berichte ; 92,13
Ohlebusch, Enno [VerfasserIn]

Advanced topics in term rewriting

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Term graph rewriting : theory and practice

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Chichester [u.a.]: Wiley, 1993

Erschienen in: Wiley professional computing
Bezem, Marc [HerausgeberIn]; Klop, Jan Willem [Sonstige Person, Familie und Körperschaft]; Vrijer, Roel de [Sonstige Person, Familie und Körperschaft] ; Terese

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Efficient graph rewriting and its implementation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 922
Sattler-Klein, Andrea [VerfasserIn]

Divergence phenomena during completion

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1990

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

Confluent string rewriting

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 14
Plasmeijer, Rinus [VerfasserIn] ; Eekelen, Marko van [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Conditional and typed rewriting systems : proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1995

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2706
Avenhaus, Jürgen [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York: Springer, 1995

Erschienen in: Springer-Lehrbuch
Madlener, Klaus [VerfasserIn] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]

Decidable sentences for context-free groups

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1990

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 20200
Kuhn, Norbert [VerfasserIn] ; Madlener, Klaus [Sonstige Person, Familie und Körperschaft]; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Univ., Fachbereich Informatik, 1990

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 19700
Rusinowitch, Michae͏̈l [Sonstige Person, Familie und Körperschaft]; Rusinovič, Michail [HerausgeberIn] ; CTRS 3 1992 Pont-à-Mousson

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 516

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr