The following pages link to On quantified linear implications (Q2254606):
Displaying 3 items.
- Analyzing restricted fragments of the theory of linear arithmetic (Q513354) (← links)
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty (Q2321284) (← links)
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic'' (Q2364369) (← links)
