@article{Косовский1979, author = {Косовский, Н.К.}, journal = {Zapiski naucnych seminarov Leningradskogo}, keywords = {Gödel numbers of decision procedures; invariant properties of short algorithms}, language = {rus}, pages = {73-77}, publisher = {Nauka}, title = {О распознавании инвариантных свойств коротких алгорифмов}, url = {http://eudml.org/doc/67043}, volume = {88}, year = {1979}, }
TY - JOUR AU - Косовский, Н.К. TI - О распознавании инвариантных свойств коротких алгорифмов JO - Zapiski naucnych seminarov Leningradskogo PY - 1979 PB - Nauka VL - 88 SP - 73 EP - 77 LA - rus KW - Gödel numbers of decision procedures; invariant properties of short algorithms UR - http://eudml.org/doc/67043 ER -