3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Alex Spelten, Wolfgang Thomas, Sarah Winter
We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinit…