Sergio Abriola, Diego Figueira, Santiago Figueira. Logics of Repeating Values on Data Trees and Branching Counter Systems. In Javier Esparza, Andrzej S. Murawski, editors, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Volume 10203 of Lecture Notes in Computer Science, pages 196-212, 2017. [doi]
Abstract is missing.