ENRIC
COSME LLOPEZ
PROF. PERMANENTE LABORAL PPL
JUAN BLAS
CLIMENT VIDAL
TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con JUAN BLAS CLIMENT VIDAL (4)
2023
-
Functoriality of the Schmidt construction
Logic Journal of the IGPL, Vol. 31, Núm. 5, pp. 822-893
2020
-
Congruence-based proofs of the recognizability theorems for free many-sorted algebras
Journal of Logic and Computation, Vol. 30, Núm. 2, pp. 561-633
2019
-
A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
Quaestiones Mathematicae, Vol. 42, Núm. 10, pp. 1427-1444
2018
-
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
Logic Journal of the IGPL, Vol. 26, Núm. 4, pp. 381-407