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

Authors Flavio Ferrarotti
Senén Andrés González Cornejo
Klaus-Dieter Schewe
José María Turull-Torres
Editors E. Abraham
et al.
Title The polylog-time hierarchy captured by restricted second-order logic
Booktitle Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018)
Type in proceedings
Publisher IEEE
ISBN 978-1-7281-0625-0
DOI 10.1109/SYNASC.2018.00032
Month May
Year 2019
Pages 133-140
SCCH ID# 17099