TY - RPRT TI - The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic AU - Flavio Ferrarotti AU - Senén González AU - Klaus-Dieter Schewe AU - José María Turull-Torres PY - 2018 UR - https://arxiv.org/abs/1806.07127 ID - 1806.07127 ER -