Enric Cosme Llópez
Enric Cosme Llópez
Correu electrònic verificat a uv.es - Pàgina d'inici
Títol
Citada per
Citada per
Any
The dual equivalence of equations and coequations for automata
A Ballester Bolinches, E Cosme Llópez, J Rutten
Information and Computation 244, 49-75, 2015
262015
Varieties and covarieties of languages
J Rutten, A Ballester Bolinches, E Cosme Llópez
Electronic Notes in Theoretical Computer Science 298, 7-28, 2013
112013
K4-free graphs as a free algebra
E Cosme Llópez, D Pous
42nd International Symposium on Mathematical Foundations of Computer Science, 2017
102017
Formations of monoids, congruences, and formal languages
A Ballester Bolinches, E Cosme Llópez, R Esteban Romero, JJMM Rutten
Scientific Annals of Computer Science 25 (2), 171-209, 2015
102015
Group extensions and graphs
A Ballester Bolinches, E Cosme Llópez, R Esteban Romero
Expositiones Mathematicae 34 (3), 327-334, 2016
72016
Regular varieties of automata and coequations
J Salamanca, A Ballester Bolinches, MM Bonsangue, E Cosme Llópez, ...
International Conference on Mathematics of Program Construction, 224-237, 2015
72015
A description based on languages of the final non-deterministic automaton
A Ballester Bolinches, E Cosme Llópez, R Esteban Romero
Theoretical Computer Science 536, 1-20, 2014
52014
Eilenberg theorems for many-sorted formations
J Climent Vidal, E Cosme Llópez
arXiv preprint arXiv:1604.04792, 2016
32016
On subgroup functors of finite soluble groups
A Ballester-Bolinches, E Cosme-Llopez, SF Kamornikov
Science China Mathematics 60 (3), 439-448, 2017
22017
Algorithms for permutability in finite groups
A Ballester Bolinches, E Cosme Llópez, R Esteban Romero
Open Mathematics 11 (11), 1914-1922, 2013
22013
Congruence-based proofs of the recognizability theorems for free many-sorted algebras
J Climent Vidal, E Cosme Llópez
Journal of Logic and Computation 30 (2), 561-633, 2020
12020
Some contributions to the theory of transformation monoids
A Ballester-Bolinches, E Cosme-Llópez, P Jiménez-Seral
Journal of Algebra 522, 31-60, 2019
12019
Innocampus Explora: una aproximación multidisciplinar a la problemática ambiental
N Garro, JM Gregorio, AQ Asensio, DJ Romero, AB Medina, IG Escamilla, ...
In-Red 2020. VI Congreso nacional de innovación educativa y docencia en red, 82, 2020
2020
Validation of a inertial movement unit with a linear encoder to evaluate strength and power
RF Llopez, AMDB Trigueros, EC Llópez, CP Abella
European Journal of Human Movement 43, 40-48, 2019
2019
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
J Climent Vidal, E Cosme Llópez
Logic Journal of the IGPL 26 (4), 381-407, 2018
2018
A characterization of the -ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
J Climent Vidal, E Cosme Llópez
arXiv preprint arXiv:1710.08971, 2017
2017
Errata to" Formations of Monoids, Congruences, and Formal Languages".
A Ballester-Bolinches, E Cosme-Llópez, R Esteban-Romero, ...
Sci. Ann. Comp. Sci. 26 (1), 123-124, 2016
2016
PERMUT
A Ballester Bolinches, E Cosme Llópez, R Esteban Romero
2012
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–18