Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables https://t.co/dPKNpHjLrB
221 followers
642 followers
"Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. (arXiv:1810.09142v2 [cs.LO] UPDATED)" #arXiv https://t.co/0ve0C8NBNM
221 followers
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables https://t.co/dPKNpHjLrB
1,145 followers
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. https://t.co/1SERLKXFQp