Separating Rank Logic from Polynomial Time.

Autor: LICHTER, MORITZ1 lichter@mathematik.tudarmstadt.de
Zdroj: Journal of the ACM. Apr2023, Vol. 70 Issue 2, p14-53. 40p.
Databáze: Business Source Ultimate
Externí odkaz: