Beyond the Existential Theory of the Reals.

Autor:	Schaefer, Marcus1 (AUTHOR) mschaefer@cdm.depaul.edu, Štefankovič, Daniel2 (AUTHOR)
Zdroj:	Theory of Computing Systems. Apr2024, Vol. 68 Issue 2, p195-226. 32p.
Databáze:	Business Source 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.