scientific article; zbMATH DE number 1140685

MaRDI QIDQ4385452zbMATH OpenFDO

Authors Fred Mesnard, Sébastien Horau, Alexandra Maillard

Publication date 13 April 1998

zbMATH Keywords

decision procedureimplication problem

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• CLP(χ) for automatically proving program properties1An earlier version of this paper was presented at the workshop “Frontiers of Combining Systems”, Munich, March 1996.1
• scientific article; zbMATH DE number 2090534
• On proving left termination of constraint logic programs
• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
• Termination of constraint logic programs

Cited in

(6)

• CLP(χ) for automatically proving program properties1An earlier version of this paper was presented at the workshop “Frontiers of Combining Systems”, Munich, March 1996.1
• scientific article; zbMATH DE number 1337861 (Why is no real title available?)
• scientific article; zbMATH DE number 2090534 (Why is no real title available?)
• scientific article; zbMATH DE number 1420828 (Why is no real title available?)
• On proving left termination of constraint logic programs
• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385452)