Enric Cosme-Llópez

14 papers B 3Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Lallement Functor is a Weak Right Multiadjoint.
Appl. Categorical Struct.
Juan Climent Vidal, Enric Cosme-Llópez
2024 J jnl
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.
CoRR
Juan Climent Vidal, Enric Cosme-Llópez
2023 J jnl
Functoriality of the Schmidt construction.
Log. J. IGPL
Juan Climent Vidal, Enric Cosme-Llópez
2020 J jnl
Congruence-based proofs of the recognizability theorems for free many-sorted algebras.
J. Log. Comput.
Juan Climent Vidal, Enric Cosme-Llópez
2018 J jnl
Congruence based proofs of the recognizability theorems for free many-sorted algebras.
CoRR
Juan Climent Vidal, Enric Cosme-Llópez
2018 J jnl
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
Log. J. IGPL
Juan Climent Vidal, Enric Cosme-Llópez
2017 B conf
K4-free Graphs as a Free Algebra.
MFCS
Enric Cosme-Llópez, Damien Pous
2016 J jnl
Eilenberg theorems for many-sorted formations.
CoRR
Juan Climent Vidal, Enric Cosme-Llópez
2016 J jnl
Errata to "Formations of Monoids, Congruences, and Formal Languages".
Sci. Ann. Comput. Sci.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten
2015 J jnl
Formations of Monoids, Congruences, and Formal Languages.
Sci. Ann. Comput. Sci.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten
2015 B conf
Regular Varieties of Automata and Coequations.
MPC
Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten
2015 J jnl
The dual equivalence of equations and coequations for automata.
Inf. Comput.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Jan J. M. M. Rutten
2014 J jnl
A description based on languages of the final non-deterministic automaton.
Theor. Comput. Sci.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero
2013 B conf
Varieties and Covarieties of Languages (Extended Abstract).
MFPS
Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez