Constructive Negation in Definite Constraint Logic Programs

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam. Constructive Negation in Definite Constraint Logic Programs. In Joxan Jaffar, Roland H. C. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN 96, Singapore, December 2-5, 1996, Proceedings. Volume 1179 of Lecture Notes in Computer Science, pages 335-336, Springer, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.