Guillaume Bonfante, Miguel Couceiro. Termination of graph rewriting systems through language theory. In Miguel Couceiro, Pierre Monnin, Amedeo Napoli, editors, Proceedings of the First International Conference "Algebras, graphs and ordered sets", ALGOS 2020, Online (originally planned in Nancy, France), August 26-28, 2020. Volume 2925 of CEUR Workshop Proceedings, pages 87-99, CEUR-WS.org, 2020. [doi]
Abstract is missing.