Goto

Collaborating Authors

 carayol


Carayol

AAAI Conferences

We 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.