Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

DOI10.1007/11799573_15zbMath1131.68389OpenAlexW1481536172MaRDI QIDQ5449600

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11799573_15

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs

This page was built for publication: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables