Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Rapid construction of algebraic axioms from samples | 11 | 1.44 | 1991 |
| Some Rules of Inductive Inference and their Use for Program Synthesis | 13 | 1.41 | 1983 |
| On inductive synthesis of programs | 6 | 0.93 | 1979 |
| Automatic Construction of Complete Sample System for Program Testing | 11 | 2.37 | 1977 |
| Construction of Complete Sample System for Correctness Testing. | 2 | 0.88 | 1975 |
| Prognostication of Automata and Functions | 22 | 7.79 | 1971 |