Pages that link to "Item:Q2947468"

The following pages link to Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468):

Displayed 6 items.

• An analysis of the equational properties of the well-founded fixed point (Q347388) ‎ (← 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)
• The intricacies of three-valued extensional semantics for higher-order logic programs (Q4592720) ‎ (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) ‎ (← links)