Search Results - "Complexity Measures and Classes—Machine-independent complexity General Terms"

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

Authors: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

Contributors: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

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

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

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

Pure Pointer Programs with Iteration.

Authors: Hofmann, Martin Schöpp, Ulrich

Source: ACM Transactions on Computational Logic; Jul2010, Vol. 11 Issue 4, p26:1-26:23, 23p, 2 Diagrams

Subject Terms: GRAPH algorithms, DATA analysis, MATHEMATICAL analysis, MATHEMATICAL optimization, MATHEMATICS education

Context Semantics, Linear Logic, and Computational Complexity.

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

The Geometry of Linear Higher-Order Recursion.

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