9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2022
Monadic Monadic Second Order Logic
Mikołaj Bojańczyk, Bartek Klin, Julian Salamanca
One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective lette…
cs.FL2017★ 9 cited
Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality
Julian Salamanca
The purpose of the present paper is to show that: Eilenberg-type correspondences = Birkhoff's theorem for (finite) algebras + duality. We consider algebras for a monad T on a categ…