Shore R.A.,Slaman T.A. ...

Новости

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

17 Февраля, 2025 Конкурс на замещение должности

15 Февраля, 2025 Защита диссертаций

Shore R.A., Slaman T.A.

[2006]

The ∀∃ theory of D(<,∨,^/) is undecidable

Lect. Notes in Logic, 24, 326-344, ASL La Jolla, Cal.

?

article

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