The following pages link to Analysis of Boolean Programs (Q5326327):
Displaying 7 items.
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Review of Boole (Q2715637) (← links)
- (Q4518882) (← links)
- Worst-case groundness analysis using positive Boolean functions (Q4719376) (← links)
- The complexity gap in the static analysis of cache accesses grows if procedure calls are added (Q6108428) (← links)