Congruence-based proofs of the recognizability theorems for free many-sorted algebras

  1. Climent Vidal, J.
  2. Cosme Llópez, E.
Revista:
Journal of Logic and Computation

ISSN: 1465-363X,  0955-792X

Año de publicación: 2020

Volumen: 30

Número: 2

Páginas: 561-633

Tipo: Artículo

DOI: 10.1093/LOGCOM/EXZ032 GOOGLE SCHOLAR
Fuente de los datos: Scopus