Goal-Oriented Derivation of Logic Programs

Christopher J. Hogger. Goal-Oriented Derivation of Logic Programs. In Józef Winkowski, editor, Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Volume 64 of Lecture Notes in Computer Science, pages 267-276, Springer, 1978.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.