Logic Program Semantics for Programming with Equations

Joxan Jaffar, Peter J. Stuckey. Logic Program Semantics for Programming with Equations. In Ehud Y. Shapiro, editor, Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Volume 225 of Lecture Notes in Computer Science, pages 313-326, Springer, 1986.

Authors

Joxan Jaffar

This author has not been identified. Look up 'Joxan Jaffar' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google