التفاصيل البيبلوغرافية
العنوان: |
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic |
المؤلفون: |
Ferrarotti, F., Gonzalez, S., Schewe, K.-D., Turull-Torres, J.M. |
المصدر: |
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018 20th International Symposium on. :133-140 Sep, 2018 |
Relation: |
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
قاعدة البيانات: |
IEEE Xplore Digital Library |