35 citations · 151 across the 21 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 18 cited
Wreath Products of Forest Algebras, with Applications to Tree Logics
Mikolaj Bojanczyk, Igor Walukiewicz, Howard Straubing
We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These includ…
cs.LO2012★ 1 cited
Weak Alternating Timed Automata
Pawel Parys, Igor Walukiewicz
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for these automata is de…