scientific article; zbMATH DE number 1456952
From MaRDI portal
Publication:4954441
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
- scientific article; zbMATH DE number 4185010
- 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
(18)- S-semantics for logic programming: a retrospective look
- Negation and constraint logic programming
- Negation in combining constraint systems
- Inhibited Effects in CP-Logic
- A necessary condition for constructive negation in constraint logic programming
- scientific article; zbMATH DE number 4033044 (Why is no real title available?)
- Answer Synthesis for CLP Programs with Negation
- Constructive negation by pruning
- scientific article; zbMATH DE number 1059306 (Why is no real title available?)
- Négation constructive et axiomatique interne
- αCheck: A mechanized metatheory model checker
- Constructive negation under the well-founded semantics
- scientific article; zbMATH DE number 1453065 (Why is no real title available?)
- Extending constructive logic negation with types
- A rewrite approach for constraint logic programming
- Functional and Logic Programming
- Constructive negation and constraint logic programming with sets
- Implementing constructive intensional negation
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)
