Pages that link to "Item:Q2257304"
From MaRDI portal
The following pages link to A fixed point theorem for non-monotonic functions (Q2257304):
Displaying 8 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms (Q2331702) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (Q4559803) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Perturbed‐analytic direct transcription for optimal control (PADOC) (Q6054684) (← links)
