Separating Rank Logic from Polynomial Time.
In: Journal of the ACM, Jg. 70 (2023-04-01), Heft 2, S. 14-53
Online
academicJournal
Zugriff:
Titel: |
Separating Rank Logic from Polynomial Time.
|
---|---|
Autor/in / Beteiligte Person: | LICHTER, MORITZ |
Link: | |
Zeitschrift: | Journal of the ACM, Jg. 70 (2023-04-01), Heft 2, S. 14-53 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 0004-5411 (print) |
DOI: | 10.1145/3572918 |
Sonstiges: |
|