dblp.uni-trier.dewww.uni-trier.de

J. M. Barzdin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1G. J. Barzdin [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)