21 citations · 84 across the 35 of their papers we have counts for
4 papers · 1 filter
An analysis of the equational properties of the well-founded fixed point
Arnaud Carayol, Zoltan Esik
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an importan…
Multi-linear iterative K-Sigma-semialgebras
Zoltan Esik
We consider -semialgebras for a commutative semiring that are at the same time -algebras and satisfy certain linearity conditions. When each finite system of guarded poly…
Partial Conway and iteration semirings
S. L. Bloom, Z. Esik, W. Kuich
A Conway semiring is a semiring equipped with a unary operation , always called 'star', satisfying the sum star and product star identities. It is known that these…
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…