Articles by Author

Author

Alessandro Armando

Università degli Studi di Genova
Genova, Italy

1 article by this author

Sort by:

Research Article

A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic

Alessandro Armando, Silvio Ranise

10.3217/jucs-007-02-0124

28-02-2001

Unique: 82 | Total: 92

124-140

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics