scientific article; zbMATH DE number 1456952

zbMATH Open0938.68571MaRDI QIDQ4954441FDOQ4954441

Authors: Paola Bruscoli, Francesca Levi, Maria Chiara Meo, Giorgio Levi 

Publication date: 7 June 2000

Title of this publication is not available (Why is that?)

Recommendations

• A necessary condition for constructive negation in constraint logic programming
• Constructive negation and constraint logic programming with sets
• Negation and constraint logic programming
• scientific article; zbMATH DE number 515746
• scientific article; zbMATH DE number 1292286
• Coinductive logic programming with negation
• scientific article; zbMATH DE number 1453065
• Publication:5750390
• scientific article; zbMATH DE number 4033044
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (15)

• A rewrite approach for constraint logic programming
• Implementing constructive intensional negation
• Title not available (Why is that?)
• A necessary condition for constructive negation in constraint logic programming
• Constructive negation and constraint logic programming with sets
• Inhibited Effects in CP-Logic
• Answer Synthesis for CLP Programs with Negation
• S-semantics for logic programming: a retrospective look
• Extending constructive logic negation with types
• αCheck: A mechanized metatheory model checker
• Negation and constraint logic programming
• Functional and Logic Programming
• Negation in combining constraint systems
• Négation constructive et axiomatique interne
• Title not available (Why is that?)

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 Q4954441)