5 citations · 13 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015★ 2 cited
Profinite Monads, Profinite Equations, and Reiterman's Theorem
Liang-Ting Chen, Jiri Adamek, Stefan Milius +1
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. cla…
cs.FL2015★ 2 cited
A Fibrational Approach to Automata Theory
Liang-Ting Chen, Henning Urbat
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely gener…