The following pages link to (Q4518882):
Displaying 5 items.
- Abstracting numeric constraints with Boolean functions (Q294784) (← links)
- Logic programs as compact denotations. (Q1426046) (← links)
- Two classes of Boolean functions for dependency analysis (Q1818309) (← links)
- A simple polynomial groundness analysis for logic programs (Q4507857) (← links)
- Worst-case groundness analysis using positive Boolean functions (Q4719376) (← links)