Skip to contents

Sleep, M. R. [Editor]; Plasmeijer, Marinus Jacobus [Editor]; Eekelen, M. C. J. D. van [Editor] ; SemaGraph 1991 Nimwegen

Term graph rewriting : theory and practice

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
Plasmeijer, Rinus [Author] ; Eekelen, Marko van [Other]

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

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
Ehrig, Hartmut [Author]

Fundamentals of algebraic graph transformation

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

Published in: Monographs in theoretical computer science ; an EATCS series
Schürr, Andreas [Author]

Operationales Spezifizieren mit programmierten Graphersetzungssystemen : formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung

View online
Schließen

Close

Bookmarks

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

Wiesbaden: Dt. Univ.-Verl., 1991

Published in: DUV ; Informatik
Schulz, Klaus [Editor] ; IWWERT 1 1990 Tübingen

Word equations and related topics : 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, 1992

Published in: Lecture notes in computer science ; 572
Abdulrab, Habib [Editor]; Pécuchet, Jean-Pierre [Editor] ; IWWERT 2 1991 Rouen

Word equations and related topics : 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, 1993

Published in: Lecture notes in computer science ; 677
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
Brandenburg, Franz J. [Editor] ; Symposium on Graph Drawing 1995 Passau

Graph drawing : Symposium on Graph Drawing, GD '95, Passau Germany, September 20 - 22, 1995; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1027
Middeldorp, Aart [Editor]; Klop, Jan Willem [Honoree]; Oostrom, Vincent van [Other]; Raamsdonk, Femke van [Other]; Vrijer, Roel de [Other]

Processes, terms and cycles: steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

View online
Schließen

Close

Bookmarks

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

Berlin [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3838
Ehrig, Hartmut [Editor] ; TAGT 6 1998 Paderborn

Theory and application of graph transformations : 6th international workshop ; Paderborn, Germany, November 16 - 20, 1998 ; selected papers

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

Published in: Lecture notes in computer science ; 1764
Callaghan, Paul [Editor] ; Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900, TYPES 1 2000 Durham

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group]

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

Published in: Lecture notes in computer science ; 2277
Ong, Luke [Editor] ; TLCA 10 2011 Novi Sad

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; 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, 2011

Published in: Lecture notes in computer science ; 6690
Altenkirch, Thorsten [Editor]; McBride, Conor [Other] ; TYPES 2006 Nottingham

Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers

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 ; 4502
Filliâtre, Jean-Christophe [Editor]; Paulin-Mohring, Christine [Other]; Werner, Benjamin [Other] ; TYPES 4 2004 Jouy-en-Josas

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004 ; revised selected papers

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

Published in: Lecture notes in computer science ; 3839
Berardi, Stefano [Editor] ; TYPES 3 2003 Turin

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers

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

Published in: Lecture notes in computer science ; 3085
Geuvers, Herman [Editor] ; Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900, International Workshop TYPES 2 2002

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers ; [refereed selection of papers presented at the second annual workshop of the Types Working Group]

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

Published in: Lecture notes in computer science ; 2646
Brill, Percy H. [Author]

Level crossing methods in stochastic models

View online
Schließen

Close

Bookmarks

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

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

Published in: International series in operations research & management science ; 12300
Raoult, Jean-Claude [Editor] ; CAAP 17 1992 Rennes, ESOP 4 1992 Rennes

Proceedings / CAAP '92

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

Published in: Lecture notes in computer science ; 581
Coquand, Thierry [Editor]; Dybjer, Peter [Editor]; Nordström, Bengt [Editor]; Smith, Jan [Editor] ; Workshop Types for Proofs and Programs 3 1999, International Workshop TYPES 4 1996 Aussois

Types for proofs and programs : selected papers

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

Published in: Lecture notes in computer science ; 1956
Spengler, Birgit [Author]

Literary spinoffs : rewriting the classics - re-imagining the community

View online
Schließen

Close

Bookmarks

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

Frankfurt, M.; New York: Campus Verlag, [2015]

Published in: Nordamerikastudien ; 35

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