9 citations · 40 across the 22 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
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…
cs.FL2016★ 2 cited
Slowly synchronizing automata with fixed alphabet size
Michiel de Bondt, Henk Don, Hans Zantema
It was conjectured by Černý in 1964 that a synchronizing DFA on states always has a shortest synchronizing word of length at most , and he gave a sequence of DFAs for…