Skip to contents Ohlebusch, Enno [Author] Advanced topics in term rewriting Books 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1999 Baader, Franz [Author]; Nipkow, Tobias [Author] Term rewriting and all that - [1. publ.] Books 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 Books 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 Books 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 Books 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 Gupta, Anoop [Author] Parallelism in production systems Books 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 Sleep, M. R. [Editor]; Plasmeijer, Marinus Jacobus [Editor]; Eekelen, M. C. J. D. van [Editor] ; SemaGraph 1991 Nimwegen Term graph rewriting : theory and practice Books View online Schließen 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.] Books 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] Books 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 Sattler-Klein, Andrea [Author] A systematic study of infinite canonical systems generated by Knuth-Bendix completion : and related problems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996 Hußmann, Heinrich [Author] Nondeterminism in algebraic specifications and algebraic programs Books 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 Drosten, Klaus [Author] Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988 Plasmeijer, Rinus [Author] ; Eekelen, Marko van [Other] Functional programming and parallel graph rewriting - [1. print.] Books View online Schließen 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 Dershowitz, Nachum [Editor] ; CTRS 4 1994 Yerûšālayim Conditional and typed rewriting systems : proceedings Books 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 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 Books 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 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 Books 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 Becker, Klaus P. [Author] Rewrite operationalization of clausal specifications with predefined structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994 Baader, Franz [Editor] ; RTA 18 2007 Paris Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26 - 28, 2007 ; proceedings Books 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, 2007 Published in: Lecture notes in computer science ; 4533 Giesl, Jürgen [Editor] ; RTA 16 2005 Nara Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19 - 21, 2005 ; proceedings Books 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
Ohlebusch, Enno [Author] Advanced topics in term rewriting Books 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1999
Baader, Franz [Author]; Nipkow, Tobias [Author] Term rewriting and all that - [1. publ.] Books 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 Books 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 Books 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 Books 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
Gupta, Anoop [Author] Parallelism in production systems Books 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
Sleep, M. R. [Editor]; Plasmeijer, Marinus Jacobus [Editor]; Eekelen, M. C. J. D. van [Editor] ; SemaGraph 1991 Nimwegen Term graph rewriting : theory and practice Books View online Schließen 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.] Books 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] Books 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
Sattler-Klein, Andrea [Author] A systematic study of infinite canonical systems generated by Knuth-Bendix completion : and related problems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996
Hußmann, Heinrich [Author] Nondeterminism in algebraic specifications and algebraic programs Books 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
Drosten, Klaus [Author] Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988
Plasmeijer, Rinus [Author] ; Eekelen, Marko van [Other] Functional programming and parallel graph rewriting - [1. print.] Books View online Schließen 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
Dershowitz, Nachum [Editor] ; CTRS 4 1994 Yerûšālayim Conditional and typed rewriting systems : proceedings Books 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
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 Books 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
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 Books 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
Becker, Klaus P. [Author] Rewrite operationalization of clausal specifications with predefined structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994
Baader, Franz [Editor] ; RTA 18 2007 Paris Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26 - 28, 2007 ; proceedings Books 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, 2007 Published in: Lecture notes in computer science ; 4533
Giesl, Jürgen [Editor] ; RTA 16 2005 Nara Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19 - 21, 2005 ; proceedings Books 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
> Media type Skip to next facet Articles (757) Wert ausschließen Books (127) Wert ausschließen Thesis (11) Wert ausschließen Conference Proceedings (2) Wert ausschließen Other (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (8) Wert ausschließen Stack Collection (39) Wert ausschließen Ask for availability (4) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (38) Wert ausschließen Central Library (13) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (6) Wert ausschließen In Copyright - Non-commercial Use Permitted (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (352) Wert ausschließen Without Specification (501) Wert ausschließen Show more show less
> Language Skip to next facet English (477) Wert ausschließen Not determined (404) Wert ausschließen German (15) Wert ausschließen French (5) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (348) Wert ausschließen Mathmatics (134) Wert ausschließen Technology (31) Wert ausschließen Philosophy (8) Wert ausschließen Physics (6) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (3) Wert ausschließen General sciences (1) Wert ausschließen General (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Medicine (1) Wert ausschließen Psychology (1) Wert ausschließen Sociology (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Giesl, Jürgen (33) Wert ausschließen Middeldorp, Aart (28) Wert ausschließen Aoto, Takahito (24) Wert ausschließen Toyama, Yoshihito (24) Wert ausschließen Nishida, Naoki (21) Wert ausschließen Sakai, Masahiko (18) Wert ausschließen Thiemann, René (16) Wert ausschließen Klop, Jan Willem (15) Wert ausschließen Gramlich, Bernhard (14) Wert ausschließen Schneider-Kamp, Peter (14) Wert ausschließen Ohlebusch, Enno (12) Wert ausschließen Dershowitz, Nachum (11) Wert ausschließen Bahr, Patrick (10) Wert ausschließen Moser, Georg (10) Wert ausschließen Plump, Detlef (10) Wert ausschließen Sakabe, Toshiki (10) Wert ausschließen Fernández, Maribel (9) Wert ausschließen Geser, Alfons (9) Wert ausschließen Kaplan, Stéphane (9) Wert ausschließen Zantema, H. (9) Wert ausschließen Zantema, Hans (9) Wert ausschließen Kop, Cynthia (8) Wert ausschließen Simonsen, Jakob Grue (8) Wert ausschließen Zankl, Harald (8) Wert ausschließen Ariola, Zena M. (7) Wert ausschließen Durand, Irène (7) Wert ausschließen Endrullis, Jörg (7) Wert ausschließen Fuhs, Carsten (7) Wert ausschließen Genet, Thomas (7) Wert ausschließen Hirokawa, Nao (7) Wert ausschließen Jouannaud, Jean-Pierre (7) Wert ausschließen Ketema, Jeroen (7) Wert ausschließen Lucas, Salvador (7) Wert ausschließen Meinke, Karl (7) Wert ausschließen Meseguer, José (7) Wert ausschließen Oyamaguchi, Michio (7) Wert ausschließen Rao, M. R. K. Krishna (7) Wert ausschließen Waldmann, Johannes (7) Wert ausschließen Yamada, Akihisa (7) Wert ausschließen Avanzini, Martin (6) Wert ausschließen Baader, Franz (6) Wert ausschließen Buth, Karl-Heinz (6) Wert ausschließen Corradini, Andrea (6) Wert ausschließen Hanus, Michael (6) Wert ausschließen Heering, Jan (6) Wert ausschließen Nipkow, Tobias (6) Wert ausschließen Patrick Bahr (6) Wert ausschließen Ganzinger, Harald (5) Wert ausschließen Hofbauer, Dieter (5) Wert ausschließen Hsiang, Jieh (5) Wert ausschließen Kennaway, Richard (5) Wert ausschließen Kirchner, Hélène (5) Wert ausschließen Klop, J. W. (5) Wert ausschließen Réty, Pierre (5) Wert ausschließen Steinbach, Joachim (5) Wert ausschließen Verma, Rakesh (5) Wert ausschließen Winkler, Sarah (5) Wert ausschließen van Oostrom, Vincent (5) Wert ausschließen Brockschmidt, Marc (4) Wert ausschließen Comon, Hubert (4) Wert ausschließen Corradini, A. (4) Wert ausschließen Cynthia Kop (4) Wert ausschließen Czajka, Lukasz (4) Wert ausschließen Ferreira, M. C. F. (4) Wert ausschließen Field, John (4) Wert ausschließen Frohn, Florian (4) Wert ausschließen Gadducci, Fabio (4) Wert ausschließen Grabowski, Jan (4) Wert ausschließen Göbel, Richard (4) Wert ausschließen Jacquemard, Florent (4) Wert ausschließen Kahrs, Stefan (4) Wert ausschließen Kapur, Deepak (4) Wert ausschließen Kassing, Jan-Christoph (4) Wert ausschließen Kojima, Yoshiharu (4) Wert ausschließen Kurihara, Masahito (4) Wert ausschließen Lescanne, Pierre (4) Wert ausschließen Martin Avanzini and Georg Moser (4) Wert ausschließen Moreau, Pierre-Etienne (4) Wert ausschließen Möller, Bernhard (4) Wert ausschließen Otto, Carsten (4) Wert ausschließen Plaisted, David A. (4) Wert ausschließen Schloss Dagstuhl, Leibniz-Zentrum für Informatik (4) Wert ausschließen Sleep, M. R. (4) Wert ausschließen Sleep, Ronan (4) Wert ausschließen Sternagel, Christian (4) Wert ausschließen Swiderski, Stephan (4) Wert ausschließen Tison, Sophie (4) Wert ausschließen Vidal, Germán (4) Wert ausschließen Yamada, Toshiyuki (4) Wert ausschließen Avenhaus, Jürgen (3) Wert ausschließen Badban, Bahareh (3) Wert ausschließen Banach, R. (3) Wert ausschließen Barenbaum, Pablo (3) Wert ausschließen Barker, Steve (3) Wert ausschließen Bockmayr, Alexander (3) Wert ausschließen Bündgen, Reinhard (3) Wert ausschließen Cousot, Patrick (3) Wert ausschließen Dowek, Gilles (3) Wert ausschließen Duck, Gregory J. (3) Wert ausschließen Escobar, Santiago (3) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (346) Wert ausschließen BASE - Bielefeld Academic Search Engine (147) Wert ausschließen Elsevier BV (CrossRef) (131) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (113) Wert ausschließen Verbunddaten SWB (97) Wert ausschließen Springer International Publishing (CrossRef) (31) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (28) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (20) Wert ausschließen Lizenzfreie Online-Ressourcen (19) Wert ausschließen Open Publishing Association (CrossRef) (19) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (17) Wert ausschließen Scientific publications of the Saarland University (UdS) (12) Wert ausschließen theses.fr (7) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (6) Wert ausschließen IOS Press (CrossRef) (6) Wert ausschließen Oxford University Press (OUP) (CrossRef) (6) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (5) Wert ausschließen DOAJ Directory of Open Access Journals (4) Wert ausschließen Informa UK Limited (CrossRef) (4) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (4) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (4) Wert ausschließen Springer Nature Switzerland (CrossRef) (4) Wert ausschließen Diss online (3) Wert ausschließen Qucosa (3) Wert ausschließen ETH Zürich Research Collection (2) Wert ausschließen Information Processing Society of Japan (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences II Archive (2) Wert ausschließen JSTOR Mathematics & Statistics (2) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (CrossRef) (2) Wert ausschließen Steklov Mathematical Institute (CrossRef) (2) Wert ausschließen Brazilian Society for Computational and Applied Mathematics (SBMAC) (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen Georg-August-Universität Göttingen: eDiss (1) Wert ausschließen Hikari, Ltd. (CrossRef) (1) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences I Archive (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen Münster University (WWU): miami (1) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (1) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (1) Wert ausschließen Slovenska Vzdelavacia a Obstaravacia s.r.o. (CrossRef) (1) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (1) Wert ausschließen Springer Nature Singapore (CrossRef) (1) Wert ausschließen Springer New York (CrossRef) (1) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (1) Wert ausschließen noah.nrw (1) Wert ausschließen Show more show less