TY  - RPRT
TI  - Congruence based proofs of the recognizability theorems for free many-sorted algebras
AU  - Juan Climent Vidal
AU  - Enric Cosme Llópez
PY  - 2018
DO  - 10.1093/logcom/exz032
UR  - https://arxiv.org/abs/1808.08217
ID  - 1808.08217
ER  -