Paper «Congruence-based proofs of the recognizability theorems for free many-sorted algebras» published in J. Logic Comput.

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.

doi:10.1093/logcom/exz032

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