Search Results - "Complexity Measures and Classes—Machine-independent complexity General Terms"
-
1
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.5986; http://tocl.acm.org/accepted/330dallago.pdf
-
2
Authors:
Source: ACM Transactions on Computational Logic; Jul2010, Vol. 11 Issue 4, p26:1-26:23, 23p, 2 Diagrams
-
3
Authors: Lago, Ugo Dal
Source: ACM Transactions on Computational Logic; Aug2009, Vol. 10 Issue 4, p25-25:32, 32p, 18 Diagrams, 3 Charts
Subject Terms: GEOMETRY, IMPLICIT functions, LINEAR algebra, SEMANTICS, QUANTITATIVE research, POLYNOMIALS
-
4
Authors: Lago, Ugo Dal
Source: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p8-8.38, 38p, 6 Diagrams, 6 Charts
Subject Terms: RECURSION theory, MATHEMATICAL logic, LINEAR dependence (Mathematics), POLYNOMIALS, LAMBDA calculus
Nájsť tento článok vo Web of Science
Full Text Finder