J. M. Barzdin

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1991
j1		J. M. Barzdin, G. J. Barzdin: Rapid Constructions of Algebraic Axioms From Samples. Theor. Comput. Sci. 90(1): 199-208 (1991)
	1983
c4		J. M. Barzdin: Some Rules of Inductive Inference and their Use for Program Synthesis. IFIP Congress 1983: 333-338
	1979
c3		J. M. Barzdin: On inductive synthesis of programs. Algorithms in Modern Mathematics and Computer Science 1979: 235-254
c2		J. M. Barzdin: The Problem of Reachability and Verification of Programs. MFCS 1979: 13-25
	1971
c1		J. M. Barzdin: Prognostication of Automata and Functions. IFIP Congress (1) 1971: 81-84

Coauthor Index

Last update Sat May 25 12:51:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page