MillerRG,Nies A,Shore R. A. ...

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

Miller R. G., Nies A, Shore R. A.

[2004]

Undecidability of the ∀∃-theory of R( ≤ , ∨ , ∧ )

Trans. Amer. Math. Soc., 356, № 8, 3025-3067

08.01.204

article

Вернуться к поиску