![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Доказано, что отношение логико-термальной эквивалентности недетерминированных стандартных схем программ является алгоритмически неразрешимым