Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings > A Heterogeneous Pushout Approach to Term-Graph Transformation
Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings |
Ralf Treinen
Springer Berlin Heidelberg
Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
A Heterogeneous Pushout Approach to Term-Graph Transformation
Authors

Dominique Duval; Rachid Echahed; Frédéric Prost

ARI Id

1664722741421_2929437

Access

Not Available Free

Pages

194-208

DOI

10.1007/978-3-642-02348-4_14

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-02348-4_14

Table of Contents of Book
Showing 1 to 20 of 29 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Automatic Termination
Johannes Waldmann
1-16
Loops under Strategies
René Thiemann; Christian Sternagel
17-31
Proving Termination of Integer Term Rewriting
Carsten Fuhs; Jürgen Giesl; Martin Plücker; Peter Schneider-Kamp; Stephan Falke
32-47
Dependency Pairs and Polynomial Path Orders
Martin Avanzini; Georg Moser
48-62
Unique Normalization for Shallow TRS
Guillem Godoy; Florent Jacquemard
63-77
The Existential Fragment of the One-Step Parallel Rewriting Theory
Aleksy Schubert
78-92
Proving Confluence of Term Rewriting Systems Automatically
Takahito Aoto; Junichi Yoshida; Yoshihito Toyama
93-102
A Proof Theoretic Analysis of Intruder Theories
Alwen Tiu; Rajeev Goré
103-117
Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case
Helmut Seidl; Kumar Neeraj Verma
118-132
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
Sergiu Bursuc; Hubert Comon-Lundh
133-147
YAPA: A Generic Tool for Computing Intruder Knowledge
Mathieu Baudet; Véronique Cortier; Stéphanie Delaune
148-163
Well-Definedness of Streams by Termination
Hans Zantema
164-178
Modularity of Convergence in Infinitary Rewriting
Stefan Kahrs
179-193
A Heterogeneous Pushout Approach to Term-Graph Transformation
Dominique Duval; Rachid Echahed; Frédéric Prost
194-208
An Explicit Framework for Interaction Nets
Marc de Falco
209-223
Dual Calculus with Inductive and Coinductive Types
Daisuke Kimura; Makoto Tatsuta
224-238
Comparing Böhm-Like Trees
Jeroen Ketema
239-254
The Derivational Complexity Induced by the Dependency Pair Method
Georg Moser; Andreas Schnabl
255-269
Local Termination
Jörg Endrullis; Roel de Vrijer; Johannes Waldmann
270-284
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings