24 citations · 63 across the 14 of their papers we have counts for
1 paper · 1 filter
Andreas Krebs, Howard Straubing
We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, usi…