Stop the war!
Остановите войну!
for scientists:
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.