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

F. Ferrarotti, K. Schewe, J. Turull-Torres. The polylog-time hierarchy captured by restricted second-order logic. pages 133-140, DOI 10.1109/SYNASC.2018.00032, 5, 2019.

Autoren
  • Flavio Ferrarotti
  • Klaus-Dieter Schewe
  • José María Turull-Torres
BuchProceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018)
TypIn Konferenzband
VerlagIEEE
DOI10.1109/SYNASC.2018.00032
ISBN978-1-7281-0625-0
Monat5
Jahr2019
Seiten133-140