Pages that link to "Item:Q2946709"
From MaRDI portal
The following pages link to Extensional Higher-Order Logic Programming (Q2946709):
Displaying 9 items.
- Equivalence of two fixed-point semantics for definitional higher-order logic programs (Q512650) (← links)
- A fixed point theorem for non-monotonic functions (Q2257304) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (Q4559803) (← links)
- The intricacies of three-valued extensional semantics for higher-order logic programs (Q4592720) (← links)
- (Q4930757) (redirect page) (← links)
- (Q5014440) (← links)
- The Expressive Power of Higher-Order Datalog (Q5108510) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)