scientific article; zbMATH DE number 1456952
From MaRDI portal
Publication:4954441
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
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)