1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2018★ 1 cited
Forest Categories
Howard Straubing
We extend Tilson's theory of the algebra of finite categories, in particular, the Derived Category Theorem, to the setting of forest algebras. As an illustration of the usefulness…
cs.LO2016
Two-variable Logic with a Between Predicate
Andreas Krebs, Kamal Lodaya, Paritosh Pandya +1
We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable…