Invited talk at TERMGRAPH 2016
I gave an invited talk Non-Termination of Cycle Rewriting by Finite Automata at the 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016), part of ETAPS 2016 in Eindhoven.
I gave an invited talk Non-Termination of Cycle Rewriting by Finite Automata at the 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016), part of ETAPS 2016 in Eindhoven.