Documents Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Alberto...

Slide 1 Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Alberto Pettorossi (Università di Roma “Tor Vergata”), Maurizio Proietti…

Documents Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Alberto Pettorossi (Università di Roma “Tor Vergata”), Maurizio Proietti (IASI-CNR,…