3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2007★ 3 cited
Axiomatizing rational power series
S. L. Bloom, Z. Esik
Iteration semirings are Conway semirings satisfying Conway's group identities. We show that the semirings $\N^{\rat}\llangle Σ^* \rrangle$ of rational power series with coefficient…
cs.DM2006
Algebraic recognizability of regular tree languages
Zoltan Esik, Pascal Weil
We propose a new algebraic framework to discuss and classify recognizable tree languages, and to characterize interesting classes of such languages. Our algebraic tool, called prec…