The following pages link to (Q3830520):
Displaying 4 items.
- First order compiler: A deterministic logic program synthesis algorithm (Q908686) (← links)
- Existential continuation (Q1115643) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- Deterministic Caterpillar Expressions (Q3503898) (← links)