Výsledky vyhledávání - "Complexity Measures and Classes—Machine-independent complexity General Terms"
-
1
Autoři:
Přispěvatelé:
Témata: Mathematical Logic—Lambda calculus and related systems, F.1.3 [Computation by Abstract Devices, Complexity Measures and Classes—Machine-independent complexity General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Geometry of interaction, implicit computational complexity, linear
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.5986; http://tocl.acm.org/accepted/330dallago.pdf
Nájsť tento článok vo Web of Science