Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
graph rewriting
Publications
A PBPO+ Graph Rewriting Tutorial
Roy Overbeek
and
Joerg Endrullis
EasyChair Preprint 8741
Graph Path Orderings
Nachum Dershowitz
and
Jean-Pierre Jouannaud
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Parallel Graph Rewriting with Overlapping Rules
Rachid Echahed
and
Aude Maignan
In
:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesising Graphical Theories
Aleks Kissinger
In
:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Copyright © 2012-2024 easychair.org. All rights reserved.