Pages that link to "Item:Q1929363"
From MaRDI portal
The following pages link to Logical approximation for program analysis (Q1929363):
Displaying 7 items.
- Logical approximation for program analysis (Q1929363) (← links)
- Approximate bit dependency analysis to identify program synthesis problems as infeasible (Q2234084) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- Structural Focalization (Q2946730) (← links)
- (Q4437807) (← links)
- Analysis of Boolean Programs (Q5326327) (← links)
- Analogical logic program synthesis algorithm that can refute inappropriate similarities (Q6083916) (← links)