


default search action
2nd TERMGRAPH 2004: Rome, Italy
- Maribel Fernández:

Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(5), Elsevier 2005 - Maribel Fernández:

Preface. 1-2 - Pietro Cenciarelli, Alessandro Tiberi:

Rational Unification in 28 Characters. 3-20 - Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:

A Rewriting Calculus for Cyclic Higher-order Term Graphs. 21-41 - Andrea Corradini

, Fabio Gadducci
:
On Term Graphs as an Adhesive Category. 43-56 - Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori

, Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. 57-82 - Fabien Fleutot:

Encoding an Object Calculus into Interaction Nets. 83-111 - Stefano Guerrini:

Sharing Implementations of Graph Rewriting Systems. 113-132 - Ian Mackie:

Towards a Programming Language for Interaction Nets. 133-151 - François-Régis Sinot, Ian Mackie:

Macros for Interaction Nets: A Conservative Extension of Interaction Nets. 153-169 - Steffen van Bakel

, Jayshan Raghunandan:
Implementing X. 171-195

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














