Archive
All-Union Conferences, Seminars, Symposiums, Schools
Second All-Union Conference in Programming
Proceedings of the Conference
Session K
Session K
J. McCarthy "New results in mathematical theory of computation"; V.N. Red'ko "Parametrical grammars"; A.L. Fuksman "On some properties of formal grammars"; V.A. Tuzov "Resolution problems for graph schemes with permutational operators"; V.A. Nepomniashy "On one method for recognition of program schemata equivalence and discrete transformations"; M.G. Gonza, M.N. Maritchuk "Parametrically driven syntactic checking and analysis of programming languages".

Original document language: russian
Authors: Michael Gonta, Michael N. Marichuk, V. A. Nepomniaschy, Vladimir N. Redko, Vitali A. Tuzov, Adolf L. Fuksman, John McCarthy

Images of pages:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39


Back
Next document (Session M)
Previous document (Session Z)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016