Pages that link to "Item:Q2867964"
From MaRDI portal
The following pages link to Equivalence of two formal semantics for functional logic programs (Q2867964):
Displaying 8 items.
- Equivalence of two fixed-point semantics for definitional higher-order logic programs (Q512650) (← links)
- A decision procedure for semantical equivalence of thin FM specifications (Q1818643) (← links)
- Semantic determinism and functional logic program properties (Q2864514) (← links)
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- (Q3407415) (← links)
- (Q4408994) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)