Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus.
| Autor: | Baillot, Patrick, De Benedetti, Erika, Ronchi Della Rocca, Simona |
|---|---|
| Zdroj: | Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings; 2014, p151-163, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|