Add to ORKGInternational audienceWe study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational properties of fixed point operations described by the axioms of iteration theories
In this paper we present some of my favorite problems, all the time open, in the fixed point theory....
AbstractWe introduce the notion of a general fixed point iteration scheme to unify various fixed poi...
this paper can be seen as yielding syntactic derivations of all operationally valid equational prope...
International audienceWe study the logical properties of the (parametric) well-founded fixed point o...
International audienceWell-founded fixed points have been used in several areas of knowledge represe...
We prove the following completeness theorem: If the fixed point operation over a category is defined...
AbstractWe prove the following completeness theorem: If the fixed point operation over a category is...
All known structures involving a constructively obtainable fixed point (or it-eration) operation sat...
AbstractThe (in)equational properties of iteration, i.e., least (pre-)fixed point solutions over cpo...
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operato...
We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounde...
In the context of abstract interpretation for languages without higher-order features we study the n...
AbstractThis paper is concerned with the equational logic of corecursion, that is of definitions inv...
“In the setting of algebraic theories enriched with an external fixed-point operation, the no-tion o...
<div>This presentation is about the theory of "Fixed Point Iteration Method" and its application. </...
In this paper we present some of my favorite problems, all the time open, in the fixed point theory....
AbstractWe introduce the notion of a general fixed point iteration scheme to unify various fixed poi...
this paper can be seen as yielding syntactic derivations of all operationally valid equational prope...
International audienceWe study the logical properties of the (parametric) well-founded fixed point o...
International audienceWell-founded fixed points have been used in several areas of knowledge represe...
We prove the following completeness theorem: If the fixed point operation over a category is defined...
AbstractWe prove the following completeness theorem: If the fixed point operation over a category is...
All known structures involving a constructively obtainable fixed point (or it-eration) operation sat...
AbstractThe (in)equational properties of iteration, i.e., least (pre-)fixed point solutions over cpo...
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operato...
We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounde...
In the context of abstract interpretation for languages without higher-order features we study the n...
AbstractThis paper is concerned with the equational logic of corecursion, that is of definitions inv...
“In the setting of algebraic theories enriched with an external fixed-point operation, the no-tion o...
<div>This presentation is about the theory of "Fixed Point Iteration Method" and its application. </...
In this paper we present some of my favorite problems, all the time open, in the fixed point theory....
AbstractWe introduce the notion of a general fixed point iteration scheme to unify various fixed poi...
this paper can be seen as yielding syntactic derivations of all operationally valid equational prope...