Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
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 |