Enric Cosme-Llópez

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 11

Top Topics

Cut Elimination

Finite State Automaton

Clifford Algebra

Formal Language

Top Venues

Sci. Ann. Comput. Sci.

J. Log. Comput.

Publications

Juan Climent Vidal, Enric Cosme-Llópez
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. CoRR (2024)
Juan Climent Vidal, Enric Cosme-Llópez
Functoriality of the Schmidt construction. Log. J. IGPL 31 (5) (2023)
Juan Climent Vidal, Enric Cosme-Llópez
Congruence-based proofs of the recognizability theorems for free many-sorted algebras. J. Log. Comput. 30 (2) (2020)
Juan Climent Vidal, Enric Cosme-Llópez
Congruence based proofs of the recognizability theorems for free many-sorted algebras. CoRR (2018)
Juan Climent Vidal, Enric Cosme-Llópez
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? Log. J. IGPL 26 (4) (2018)
Enric Cosme-Llópez, Damien Pous
K4-free Graphs as a Free Algebra. MFCS (2017)
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten
Errata to "Formations of Monoids, Congruences, and Formal Languages". Sci. Ann. Comput. Sci. 26 (1) (2016)
Juan Climent Vidal, Enric Cosme-Llópez
Eilenberg theorems for many-sorted formations. CoRR (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)
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Jan J. M. M. Rutten
The dual equivalence of equations and coequations for automata. Inf. Comput. 244 (2015)
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten
Formations of Monoids, Congruences, and Formal Languages. Sci. Ann. Comput. Sci. 25 (2) (2015)
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero
A description based on languages of the final non-deterministic automaton. Theor. Comput. Sci. 536 (2014)
Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez
Varieties and Covarieties of Languages (Extended Abstract). MFPS (2013)