An Analysis of the Equational Properties of the Well-Founded Fixed Point
Carayol, Arnaud (Université Paris Est and Centre National de la Recherche Scientifique (CNRS)) | Esik, Zoltan (University of Szeged)
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.
Apr-19-2016
- Country:
- Asia > India
- Andhra Pradesh > Bay of Bengal (0.04)
- Europe
- France (0.04)
- Hungary > Csongrád-Csanád County
- Szeged (0.05)
- United Kingdom > England
- Cambridgeshire > Cambridge (0.04)
- North America > United States (0.04)
- Asia > India
- Technology: