Some Models of Inductive Syntactical Synthesis from Sample Computations

Efim B. Kinber. Some Models of Inductive Syntactical Synthesis from Sample Computations. In Janis Barzdins, Dines Bjørner, editors, Baltic Computer Science, Selected Papers. Volume 502 of Lecture Notes in Computer Science, pages 213-252, Springer, 1991.

Abstract

Abstract is missing.