Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables.

Autor:	Rybakov, M.1 (AUTHOR) m_rybakov@mail.ru
Zdroj:	Doklady Mathematics. Dec2022, Vol. 106 Issue 3, p458-461. 4p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.