Efficient program synthesis: Semantics, logic, complexity
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 615-632
- https://doi.org/10.1007/3-540-54415-1_67
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Propositional logic programming and the Priz systemThe Journal of Logic Programming, 1990
- Efficient program synthesis in computational modelsThe Journal of Logic Programming, 1990