The polylog-time hierarchy captured by restricted second-order logic

F. Ferrarotti, S. González Cornejo, K. Schewe, J. Turull-Torres. The polylog-time hierarchy captured by restricted second-order logic. pages 133-140, DOI https://doi.org/10.1109/SYNASC.2018.00032, 5, 2019.
Autoren	Flavio Ferrarotti Senén Andrés González Cornejo Klaus-Dieter Schewe José María Turull-Torres
Editoren	E. Abraham
Buch	Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018)
Typ	In Konferenzband
Verlag	IEEE
DOI	https://doi.org/10.1109/SYNASC.2018.00032
ISBN	978-1-7281-0625-0
Monat	5
Jahr	2019
Seiten	133-140