التفاصيل البيبلوغرافية
| العنوان: |
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 |
