|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anton Salikhmetov |
Token-passing Optimal Reduction with Embedded Read-back.  |
TERMGRAPH  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser, Maria Anna Schett |
Kruskal's Tree Theorem for Acyclic Term Graphs. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Waldmann |
Efficient Completion of Weighted Automata. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Hans Zantema (eds.) |
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie |
Compiling Process Networks to Interaction Nets. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Shinya Sato |
In-place Graph Rewriting with Interaction Nets. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Plump |
Reasoning about Graph Programs. |
TERMGRAPH |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Aart Middeldorp, Femke van Raamsdonk (eds.) |
Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. |
TERMGRAPH |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Mimram |
Presenting Finite Posets. |
TERMGRAPH |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Vincent van Oostrom |
Nested Term Graphs. |
TERMGRAPH |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Abubakar Hassan, Ian Mackie, Shinya Sato |
An Implementation Model for Interaction Nets. |
TERMGRAPH |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Naohi Eguchi |
Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems. |
TERMGRAPH |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Jacob Johannsen, Steven Libby |
Needed Computations Shortcutting Needed Steps. |
TERMGRAPH |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß |
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract) |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli |
Evaluating functions as processes |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bonfante, Bruno Guillaume |
Non-simplifying Graph Rewriting Termination |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jan Rochel |
Term Graph Representations for Cyclic Lambda-Terms |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract) |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie, Matthew Walker |
Bigraphical Nets |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Echahed, Detlef Plump (eds.) |
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. |
TERMGRAPH |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Frank Drewes |
Term Graph Rewriting and Parallel Term Rewriting |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Kahl |
Dependently-Typed Formalisation of Typed Term Graphs |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Maribel Fernández, Ian Mackie |
A new graphical calculus of proofs |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Rochel, Clemens Grabmayer |
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Echahed (eds.) |
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bellet, Agnès Arnould, Pascale Le Gall |
Rule-based transformations for geometric modelling |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud |
PORGY: Strategy-Driven Interactive Transformation of Graphs |
TERMGRAPH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Detlef Plump (eds.) |
Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002 |
TERMGRAPH |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maribel Fernández (eds.) |
Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004 |
TERMGRAPH |
2005 |
DBLP BibTeX RDF |
|
| 1 | François-Régis Sinot, Ian Mackie |
Macros for Interaction Nets: A Conservative Extension of Interaction Nets. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Guerrini |
Sharing Implementations of Graph Rewriting Systems. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Jayshan Raghunandan |
Implementing X. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Cenciarelli, Alessandro Tiberi |
Rational Unification in 28 Characters. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang |
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Fabio Gadducci |
On Term Graphs as an Adhesive Category. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie |
Towards a Programming Language for Interaction Nets. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner |
A Rewriting Calculus for Cyclic Higher-order Term Graphs. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández |
Preface. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabien Fleutot |
Encoding an Object Calculus into Interaction Nets. |
TERMGRAPH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie, Jorge Sousa Pinto |
A Higher-Order Calculus for Graph Transformation. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom |
Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Detlef Plump |
Preface. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Fabio Gadducci, Wolfram Kahl, Barbara König 0001 |
Inequational Deduction as Term Graph Rewriting. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer |
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enno Ohlebusch |
Conditional Term Graph Rewriting with Indirect Sharing. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Lippi |
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bakewell |
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license