A Fixpoint Semantics for Reasoning about Finite Failure
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
On the verification of finite failure
Journal of Computer and System Sciences
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Hi-index | 0.00 |