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
Gupta, Anoop [VerfasserIn]

Parallelism in production systems

Schließen

Merkliste

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

London: Pitman [u.a.], 1987

Erschienen in: Research notes in artificial Intelligence
Ohlebusch, Enno [VerfasserIn]

Modular properties of composable term rewriting systems

Schließen

Merkliste

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

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

Erschienen in: Universität Bielefeld: Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik ; 94,01
Gramlich, Bernhard [VerfasserIn]

Termination and confluence properties of structured rewrite systems

Schließen

Merkliste

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

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

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