×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of agostino-dovier
A necessary condition for Constructive Negation in Constraint Logic Programming
214 views
An efficient algorithm for computing bisimulation equivalence
216 views
Refining and Compressing Abstract Model Checking
230 views
Using Secondary Structure Information for Protein Folding in CLP( FD )
213 views