Logics of Repeating Values on Data Trees and Branching Counter Systems.

Sergio Abriola, Diego Figueira, Santiago Figueira

Browse the full FOSSACS paper archive.