Pages that link to "Item:Q1823723"
From MaRDI portal
The following pages link to Translation of logic programs into functional fixpoint equations (Q1823723):
Displaying 12 items.
- Recursive queries and context-free graph grammars (Q753477) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Functional-logic integration via minimal reciprocal extensions (Q1275622) (← links)
- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete (Q1311394) (← links)
- Translations and similarity-based logic programming (Q1606792) (← links)
- Translating relational queries into iterative programs (Q1801247) (← links)
- Fixpoint strategies for deductive databases (Q1823737) (← links)
- On the expected size of recursive datalog queries (Q1900920) (← links)
- A framework for testing safety and effective computability (Q1915509) (← links)
- Indexical translation of tail-recursive functions (Q2758322) (← links)
- Compilation of set terms in the logic data language (LDL) (Q3992237) (← links)
- Functional translation of a calculus of capabilities (Q5178764) (← links)