Pages that link to "Item:Q2873796"
From MaRDI portal
The following pages link to Implementing relational specifications in a constraint functional logic language (Q2873796):
Displaying 8 items.
- A functorial framework for constraint normal logic programming (Q934677) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Handling relations over finite domains in the rule-based system ELAN (Q2703698) (← links)
- From relational specifications to logic programs (Q2883087) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)
- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model (Q5404959) (← links)