Logic Program Synthesis From Incomplete Specifications

Flener, P.; Deville, Yves

doi:10.1016/S0747-7171(06)80012-X

Logic Program Synthesis From Incomplete Specifications

Flener, P.

;

Deville, Yves

(1993) Journal of Symbolic Computation — Vol. 15, n° 5-6, p. 775-805 (1993)

Files

pdfdocument.pdf

Restricted Access
Adobe PDF
1.67 MB

Request a copy

Details

Authors

Flener, P.
Author
Deville, YvesUCLouvain
Author

Affiliations

UCLouvainFSA/INGI - Département d'ingénierie informatique

Citations

APA
Chicago
FWB

Flener, P., & Deville, Y. (1993). Logic Program Synthesis From Incomplete Specifications. Journal of Symbolic Computation, 15(5-6), 775-805. https://doi.org/10.1016/S0747-7171(06)80012-X (Original work published 1993)