Login / Signup
TERMGRAPH
2005
2009
2011
2016
2005
2016
Keyphrases
Publications
2016
Anton Salikhmetov
Token-passing Optimal Reduction with Embedded Read-back.
TERMGRAPH
(2016)
Georg Moser
,
Maria Anna Schett
Kruskal's Tree Theorem for Acyclic Term Graphs.
TERMGRAPH
(2016)
Johannes Waldmann
Efficient Completion of Weighted Automata.
TERMGRAPH
(2016)
Ian Mackie
Compiling Process Networks to Interaction Nets.
TERMGRAPH
(2016)
Ian Mackie
,
Shinya Sato
In-place Graph Rewriting with Interaction Nets.
TERMGRAPH
(2016)
Detlef Plump
Reasoning about Graph Programs.
TERMGRAPH
(2016)
volume 225, 2016
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016.
TERMGRAPH
225 (2016)
volume 183, 2015
Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014.
TERMGRAPH
183 (2015)
2014
Samuel Mimram
Presenting Finite Posets.
TERMGRAPH
(2014)
Clemens Grabmayer
,
Vincent van Oostrom
Nested Term Graphs.
TERMGRAPH
(2014)
Abubakar Hassan
,
Ian Mackie
,
Shinya Sato
An Implementation Model for Interaction Nets.
TERMGRAPH
(2014)
Naohi Eguchi
Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems.
TERMGRAPH
(2014)
Sergio Antoy
,
Jacob Johannsen
,
Steven Libby
Needed Computations Shortcutting Needed Steps.
TERMGRAPH
(2014)
2013
Manfred Schmidt-Schauß
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)
TERMGRAPH
(2013)
Beniamino Accattoli
Evaluating functions as processes
TERMGRAPH
(2013)
Guillaume Bonfante
,
Bruno Guillaume
Non-simplifying Graph Rewriting Termination
TERMGRAPH
(2013)
Clemens Grabmayer
,
Jan Rochel
Term Graph Representations for Cyclic Lambda-Terms
TERMGRAPH
(2013)
Patrick Bahr
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
TERMGRAPH
(2013)
Maribel Fernández
,
Ian Mackie
,
Matthew Walker
Bigraphical Nets
TERMGRAPH
(2013)
volume 110, 2013
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013.
TERMGRAPH
110 (2013)
2011
Andrea Corradini
,
Frank Drewes
Term Graph Rewriting and Parallel Term Rewriting
TERMGRAPH
(2011)
Wolfram Kahl
Dependently-Typed Formalisation of Typed Term Graphs
TERMGRAPH
(2011)
Sandra Alves
,
Maribel Fernández
,
Ian Mackie
A new graphical calculus of proofs
TERMGRAPH
(2011)
Jan Rochel
,
Clemens Grabmayer
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
TERMGRAPH
(2011)
Thomas Bellet
,
Agnès Arnould
,
Pascale Le Gall
Rule-based transformations for geometric modelling
TERMGRAPH
(2011)
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)
volume 48, 2011
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.
TERMGRAPH
48 (2011)