21 citations · 84 across the 35 of their papers we have counts for
5 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…
*-Continuous Kleene -Algebras for Energy Problems
Zoltán Ésik, Uli Fahrenberg, Axel Legay
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy prob…
A representation theorem for stratified complete lattices
Zoltan Esik
We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified co…
Equational axioms associated with finite automata for fixed point operations in cartesian categories
Zoltan Esik
The axioms of iteration theories, or iteration categories, capture the equational properties of fixed point operations in several computationally significant categories. Iteration…
*-Continuous Kleene -Algebras
Zoltán Ésik, Uli Fahrenberg, Axel Legay
We define and study basic properties of *-continuous Kleene -algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite produ…