default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd TERMGRAPH@ETAPS 2006: Vienna, Austria
- Ian Mackie:
Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006. Electronic Notes in Theoretical Computer Science 176(1), Elsevier 2007 - Ian Mackie:
Preface. 1-2 - Sergio Antoy, Daniel W. Brown, Su-Hui Chiang:
Lazy Context Cloning for Non-Deterministic Graph Rewriting. 3-23 - Christophe Calvès, Maribel Fernández:
Implementing Nominal Unification. 25-37 - Olaf Chitil, Yong Luo:
Structure and Properties of Traces for Functional Programs. 39-63 - Dominique Duval, Rachid Echahed, Frédéric Prost:
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. 65-84 - Paolo Baldan, Fabio Gadducci
, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. 85-97 - Paul D. Hovland, Boyana Norris, Michelle Mills Strout, Jean Utke:
Term Graphs for Computing Derivatives in Imperative Languages. 99-111 - Damiano Mazza:
Observational Equivalence for the Interaction Combinators and Internal Separation. 113-137 - José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. 139-163
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
