Pages that link to "Item:Q2867957"
From MaRDI portal
The following pages link to Formal Properties of Needed Narrowing with Similarity Relations (Q2867957):
Displaying 4 items.
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
- Qualified Logic Programming with Bivalued Predicates (Q2808238) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)
