Preliminary study on program synthesis based on induction and verification


Authored By:K. Furukawa
Paper Title:Preliminary study on program synthesis based on induction and verification
Book/Journal Title:Proc. 2nd Int. Workshop on Algorithmic Learning Theory
Publisher:IOS Press
Publication Date: 1992
Pages:299-306