Регистрационная карточка на статью "On separation of the emptiness and equivalence problems for program scheme". Дата: 12.07.1984 Названия статей: "On separation of the emptiness and equivalence problems for program scheme" Оригинальный язык документа: английский Организации: Журнал "Information Processing Letters" Персоналии: Ефим Борисович Кинбер
