The following pages link to (Q3125846):
Displayed 4 items.
- Graph traversal and top-down evaluation of logic queries (Q1130171) (← links)
- OLDTNF-based evaluation method for handling recursive queries in deductive databases (Q1286645) (← links)
- Counting and topological order (Q1375328) (← links)
- On the graph traversal method for evaluating linear binary-chain programs (Q5926750) (← links)