Неразрешимость полноты и А-полноты систем автоматных функций с истинностной частью типов F,S,P,Oстатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК