Výsledky vyhledávání - "Complexity Measures and Classes—Machine-independent complexity General Terms"

Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]

Autoři: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

Zdroj: http://tocl.acm.org/accepted/330dallago.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.5986
http://tocl.acm.org/accepted/330dallago.pdf