1 citations · 1 across the 9 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2018
Congruence based proofs of the recognizability theorems for free many-sorted algebras
Juan Climent Vidal, Enric Cosme Llópez
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular…
cs.FL2016★ 1 cited
Eilenberg theorems for many-sorted formations
Juan Climent Vidal, Enric Cosme Llópez
A theorem of Eilenberg establishes that there exists a bijection between the set of all varieties of regular languages and the set of all varieties of finite monoids. In this artic…