Pages that link to "Item:Q2947468"
From MaRDI portal
The following pages link to Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468):
Displaying 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)
