6 citations · 12 across the 15 of their papers we have counts for
1 paper · 2 filters
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…