The following pages link to Salvatore Ruggieri (Q293339):
Displaying 8 items.
- (Q197387) (redirect page) (← links)
- Weakest preconditions for pure Prolog programs (Q293340) (← links)
- On the complexity of quantified linear systems (Q391791) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- Bounded nondeterminism of logic programs (Q702093) (← links)
- On computing the semi-sum of two integers (Q1014396) (← links)
- On logic programs that always succeed. (Q1426033) (← links)
- Sequential pattern mining for ICT risk assessment and management (Q1633339) (← links)
