Julian Salamanca

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 4

Top Topics

Monadic Second Order Logic

Regular Expressions

Top Venues

Publications

Mikolaj Bojanczyk, Bartek Klin, Julian Salamanca
Monadic Monadic Second Order Logic. CoRR (2022)
Bartek Klin, Julian Salamanca
Iterated Covariant Powerset is not a Monad. MFPS (2018)
Julian Salamanca
Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality. CoRR (2017)
Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot
Duality of Equations and Coequations via Contravariant Adjunctions. CMCS (2016)
Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten
Regular Varieties of Automata and Coequations. MPC (2015)
Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten
Equations and Coequations for Weighted Automata. MFCS (1) (2015)