The following pages link to (Q2767053):
Displaying 8 items.
- Database query languages and functional logic programming (Q867491) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Reduction strategies for declarative programming (Q2841228) (← links)
- Failure and equality in functional logic programming (Q2844060) (← links)
- A safe relational calculus for functional logic deductive databases (Q2844062) (← links)
- Faulty Logic: Reasoning about Fault Tolerant Programs (Q3558242) (← links)
- General failure of logic programs (Q3709865) (← links)
- A proof theoretic approach to failure in functional logic programming (Q4819004) (← links)