Conference
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!