47 citations · 159 across the 27 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 3 cited
Two-Way Unary Temporal Logic over Trees
Mikolaj Bojanczyk
We consider a temporal logic EF+F^-1 for unranked, unordered finite trees. The logic has two operators: EFϕ, which says "in some proper descendant ϕholds", and F^-1ϕ, which says "i…
cs.FL2009
Weak Mso with the Unbounding Quantifier
Mikolaj Bojanczyk
A new class of languages of infinite words is introduced, called the max-regular languages, extending the class of -regular languages. The class has two equivalent descriptions:…