Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "graph rewriting"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
product_txtF_mv:"Springer Book Archives -2004"
Search alternatives
:
"graph rewriting" »
"graph writing"
Showing
1
-
20
of
64
Search:
'"graph rewriting"'
,
query time: 0.15s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Efficient
Graph
Rewriting
and Its Implementation
by
Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...
Graph
rewriting
systems — The basic concepts -- UBS-
Graph
rewriting
systems — matching subgraphs...
”
Read Now
2
Graph Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- Extending
graph
rewriting
with copying -- Graph-grammar semantics of a higher-order programming language...
”
Read Now
3
Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Using a
Graph
Rewrite
System - A Typical Experience ?! - -- Towards Integrating Multiple Perspectives...
”
Read Now
4
Models of Sharing Graphs : A Categorical Semantics of let and letrec
by
Hasegawa, Masahito
Published 1999
Springer London
Table of Contents:
“
... Relating Models -- 1.6 Recursion from Cyclic Sharing -- 1.7 Action Calculi as
Graph
Rewriting
-- 1.8...
”
Read Now
5
Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...A partial algebras approach to graph transformation -- The contractum in algebraic
graph
rewriting
...
”
Read Now
6
Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
...Transfinite reductions in orthogonal term rewriting systems -- Redex capturing in term
graph
...
”
Read Now
7
PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
... -- Specifying functional and timing behavior for real-time applications -- Term
graph
rewriting
-- Towards...
”
Read Now
8
Concurrency: Theory, Language, and Architecture : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... for the rewrite rule machine --
Graph
rewriting
as a computational model -- An ultra-multiprocessing machine...
”
Read Now
9
Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95, Aachen, Germany, June 20 - 22, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... of certain bicriteria location problems -- On termination of
graph
rewriting
-- A uniform approach to
graph
...
”
Read Now
10
Graph-Theoretic Concepts in Computer Science : 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... --
Graph
rewriting
systems and their application to network reliability analysis -- Nondeterministic...
”
Read Now
11
Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed
Graph
REwriting
SyStems -- PLEXUS: Tools...
”
Read Now
12
Advanced Topics in Term Rewriting
by
Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents:
“
... Termination -- 6 Relative Undecidability -- 7 Conditional Rewrite Systems -- 8 Modularity -- 9
Graph
Rewriting
...
”
Read Now
13
Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...Modularity of termination in term
graph
rewriting
-- Confluence of terminating conditional rewrite...
”
Read Now
14
Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...Reduce the redex ? ReDuX -- Agg — An implementation of algebraic
graph
rewriting
-- Smaran: A...
”
Read Now
15
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
... substitutions -- Simple type inference for term
graph
rewriting
systems -- Consistency and semantics...
”
Read Now
16
Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... rules -- A simplifier for untyped lambda expressions -- Parallel
graph
rewriting
on loosely coupled...
”
Read Now
17
Mathematical Models in Medicine : Workshop, Mainz, March 1976
Published 1976
Springer Berlin Heidelberg
Table of Contents:
“
... Formal languages as models for biological growth -- 2.4
Graph
rewriting
systems and their application...
”
Read Now
18
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... problem for Thue systems with a few relations -- Some extensions of rewriting --
Graph
rewriting
: A...
”
Read Now
19
Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
Published 1991
Springer London
Table of Contents:
“
... -- An Algorithmic and Semantic Approach to Debugging -- Abstract Interpretation of Term
Graph
Rewriting
Systems...
”
Read Now
20
Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... of Strictness Analysis via Term
Graph
Rewriting
-- Checking Cleanness in Linked Lists -- Confidentiality...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
27
005 - Computer programming, programs & data
21
511 - General principles of mathematics
5
006 - Special computer methods
4
510 - Mathematics
3
518 - Numerical analysis
2
more ...
003 - Systems
1
512 - Algebra
1
519 - Probabilities & applied mathematics
1
see all ...
less ...
Language
English
64
Collection
Springer Book Archives -2004
Author
Ehrig, Hartmut
8
Rozenberg, Grzegorz
7
Nagl, Manfred
5
Engels, Gregor
3
Kreowski, Hans-Jörg
3
Rem, Martin
3
more ...
Aarts, Emile H.L.
2
Dershowitz, Nachum
2
Heering, Jan
2
Jouannaud, Jean-Pierre
2
Meinke, Karl
2
Privara, Igor
2
Rusinowitch, Michael
2
Ruzicka, Peter
2
Schmidt, Gunther
2
Syre, Jean-Claude
2
Abramsky, S.
1
Abramsky, Samson
1
Aksit, Mehmet
1
Astesiano, Egidio
1
Bakker, Jacobus W. de
1
Berger, J.
1
Berghammer, Rudolf
1
Bezem, Marc
1
Book, Ronald V.
1
Burn, Geoffrey
1
Böhlen, Boris
1
Bühler, J.
1
Ciancarini, Paolo
1
Comon, Hubert
1
Corradini, Andrea
1
Cuny, Janice
1
Curien, Pierre-Louis
1
Czarnecki, Krzysztof
1
D'Amore, Fabrizio
1
Dalen, Dirk van
1
Dowek, Gilles
1
Dörr, Heiko
1
Ehrig, H.
1
Eisenecker, Ulrich W.
1
Etiemble, Daniel
1
Fiadeiro, Jose L.
1
Franciosa, Paolo Giulio
1
Ganzinger, Harald
1
Gay, Simon
1
Gyimothy, Tibor
1
Hankin, Chris
1
Hanus, Michael
1
Hasegawa, Masahito
1
Hussmann
1
Hutton, Graham
1
Ito, Takayasu
1
Juhas, Gabriel
1
Kahn, Gilles
1
Kaplan, Stephane
1
Kapoor, Sanjiv
1
Kehler Holst, Carsten
1
Kirchner, Claude
1
Knödel, W.
1
Kobayashi, Naoki
1
Leeuwen, Jan van
1
Lindenstrauss, Naomi
1
Maibaum, T.S.E.
1
Marchetti-Spaccamela, Alberto
1
Mayr, Ernst W.
1
Mezini, Mira
1
Moggi, Eugenio
1
Montanari, Ugo
1
Möller, Bernhard
1
Münch, Manfred
1
Nagl, M.
1
Narendran, Paliath
1
Nijman, A.J.
1
Noltemeier, H.
1
Odijk, Eddy
1
Ohlebusch, Enno
1
Ohori, Atsushi
1
Okada, Mitsuhiro
1
Padberg, Julia
1
Palamidessi, Catuscia
1
Palsberg, Jens
1
Parisi-Presicce, Francesco
1
Peyton Jones, Simon L.
1
Pfaltz, John L.
1
Pierce, Benjamin C.
1
Pitt, David H.
1
Pitts, Andrew
1
Prasad, Sanjiva
1
Remy, Jean-Luc
1
Repges, R.
1
Rosenfeld, Azriel
1
Rosolini, Giuseppe
1
Rovan, Branislav
1
Rozenberg, G.
1
Ryan, Mark
1
Sassone, Vladimiro
1
Schneider, Hans J.
1
Schneider, Hans Juergen
1
Schürr, Andreas
1
Shyamasundar, Rudrapatna K.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22graph+rewriting%22&type=AllFields
Send by Email
×
Loading...