Enric Cosme-Llópez

According to our database, Enric Cosme-Llópez authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.

Juan Climent Vidal, Enric Cosme-Llópez

CoRR, 2024

2023

Functoriality of the Schmidt construction.

Juan Climent Vidal, Enric Cosme-Llópez

Log. J. IGPL, September, 2023

2020

Congruence-based proofs of the recognizability theorems for free many-sorted algebras.

Juan Climent Vidal, Enric Cosme-Llópez

J. Log. Comput., 2020

2018

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

Juan Climent Vidal, Enric Cosme-Llópez

Log. J. IGPL, 2018

2017

K4-free Graphs as a Free Algebra.

Enric Cosme-Llópez, Damien Pous

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Errata to "Formations of Monoids, Congruences, and Formal Languages".

Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten

Sci. Ann. Comput. Sci., 2016

Eilenberg theorems for many-sorted formations.

Juan Climent Vidal, Enric Cosme-Llópez

CoRR, 2016

2015

The dual equivalence of equations and coequations for automata.

Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Jan J. M. M. Rutten

Inf. Comput., 2015

Formations of Monoids, Congruences, and Formal Languages.

Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten

Sci. Ann. Comput. Sci., 2015

Regular Varieties of Automata and Coequations.

Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

A description based on languages of the final non-deterministic automaton.

Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero

Theor. Comput. Sci., 2014

2013

Varieties and Covarieties of Languages (Extended Abstract).

Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013