The following paper has been published:
El siguiente artículo ha sido publicado:
El següent article ha sigut publicat:
J. Climent Vidal and E. Cosme Llópez.
Congruence-based proofs of the recognizability theorems for free many-sorted algebras.
J. Logic Comput., 30(2):561–633, 2020.
Abstract
We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.
Keywords: free many-sorted algebra, recognizability, congruence