Связанные правки для «Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable»
Материал из DISCOPAL
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
Изменений в указанный период, соответствующих указанным условиям, нет.