APA (7th ed.) Citation

Ferrarotti, F., Gonzalez, S., Schewe, K., & Turull-Torres, J. (2018). The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018 20th International Symposium on, SYNASC, 133. https://doi.org/10.1109/SYNASC.2018.00032

Chicago Style (17th ed.) Citation

Ferrarotti, F., S. Gonzalez, K.-D Schewe, and J.M Turull-Torres. "The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic." 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018 20th International Symposium on, SYNASC 2018: 133. https://doi.org/10.1109/SYNASC.2018.00032.

MLA (9th ed.) Citation

Ferrarotti, F., et al. "The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic." 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018 20th International Symposium on, SYNASC, 2018, p. 133, https://doi.org/10.1109/SYNASC.2018.00032.