First order compiler: A deterministic logic program synthesis algorithm
Published in Journal of Symbolic Computation • Dec 1, 1989
NobleIDNI6P85W19R66S91
Authors:,
Taisuke Sato
Hisao Tamaki
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!