Login / Signup
J. M. Barzdin
Publication Activity (10 Years)
Years Active: 1971-1991
Publications (10 Years): 0
</>
Publications
</>
J. M. Barzdin
,
G. J. Barzdin
Rapid Constructions of Algebraic Axioms From Samples.
Theor. Comput. Sci.
90 (1) (1991)
J. M. Barzdin
Some Rules of Inductive Inference and their Use for Program Synthesis.
IFIP Congress
(1983)
J. M. Barzdin
The Problem of Reachability and Verification of Programs.
MFCS
(1979)
J. M. Barzdin
On inductive synthesis of programs.
Algorithms in Modern Mathematics and Computer Science
(1979)
J. M. Barzdin
Prognostication of Automata and Functions.
IFIP Congress (1)
(1971)