9 citations · 40 across the 22 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
Proceedings 9th International Workshop on Computing with Terms and Graphs
Andrea Corradini, Hans Zantema
This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Nether…
cs.LO2016★ 6 cited
Termination of Cycle Rewriting by Transformation and Matrix Interpretation
David Sabel, Hans Zantema
We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique i…