The following pages link to Maurizio Proietti (Q673494):
Displayed 13 items.
- The loop absorption and the generalization strategies for the development of logic programs and partial deduction (Q5286919) (← links)
- Generalization strategies for the verification of infinite state systems (Q5299583) (← links)
- Transformational Verification of Parameterized Protocols Using Array Formulas (Q5302878) (← links)
- Semantics and Controllability of Time-Aware Business Processes* (Q5377319) (← links)
- Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Q5449600) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)
- (Q5701513) (← links)
- Program Development in Computational Logic (Q5712537) (← links)
- Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach (Q5862477) (← links)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Q5894983) (← links)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Q5895015) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- (Q6197213) (← links)