Qualified answers and their application to transformation
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 425-432
- https://doi.org/10.1007/3-540-16492-8_92
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Algorithm classification through synthesisThe Computer Journal, 1980
- Negation as FailurePublished by Springer Nature ,1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977