24 citations · 63 across the 14 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
An effective characterization of the alternation hierarchy in two-variable logic
Andreas Krebs, Howard Straubing
We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of t…