%0 Conference Paper %1 conf/synasc/FerrarottiGST18 %A Ferrarotti, Flavio %A González, Senén %A Schewe, Klaus-Dieter %A Torres, José Maria Turull %B SYNASC %D 2018 %I IEEE %K dblp %P 133-140 %T The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#FerrarottiGST18 %@ 978-1-7281-0625-0

@inproceedings{conf/synasc/FerrarottiGST18, added-at = {2019-07-04T00:00:00.000+0200}, author = {Ferrarotti, Flavio and González, Senén and Schewe, Klaus-Dieter and Torres, José Maria Turull}, biburl = {https://www.bibsonomy.org/bibtex/2ec1837446b4418680e6428f8189ca7d2/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2018}, ee = {https://doi.org/10.1109/SYNASC.2018.00032}, interhash = {79a0267755a3d329b7e344d377743764}, intrahash = {ec1837446b4418680e6428f8189ca7d2}, isbn = {978-1-7281-0625-0}, keywords = {dblp}, pages = {133-140}, publisher = {IEEE}, timestamp = {2019-07-05T11:39:32.000+0200}, title = {The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#FerrarottiGST18}, year = 2018 }