×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [x u prop]
Home >
x u prop
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Alberto Pettorossi (Università di Roma “Tor Vergata”), Maurizio Proietti.
215 views
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
34 views