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

Autoren Flavio Ferrarotti
Senén Andrés González Cornejo
Klaus-Dieter Schewe
José María Turull-Torres
Editoren E. Abraham
et al.
Titel The polylog-time hierarchy captured by restricted second-order logic
Buchtitel Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018)
Typ in Konferenzband
Verlag IEEE
ISBN 978-1-7281-0625-0
DOI 10.1109/SYNASC.2018.00032
Monat May
Jahr 2019
Seiten 133-140
SCCH ID# 17099