The Synthesis of Logic Programs from Inductive Proofs

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 135-149
https://doi.org/10.1007/978-3-642-76274-1_8

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Constructive Mathematics and Computer Programming
Published by Elsevier ,2014
Compiling control
The Journal of Logic Programming, 1989
The origin of a binary-search paradigm
Science of Computer Programming, 1987
Derivation of Logic Programs
Journal of the ACM, 1981