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

Arithmetic Complexity.

Authors: VAN DEN DRIES, LOU MOSCHOVAKIS, YIANNIS N.

Source: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p2-2:49, 49p

Subject Terms: ARITHMETIC functions, NUMBER theory, MULTIPLICATION, SUBTRACTION (Mathematics), ALGORITHMS

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

An Implicit Characterization of PSPACE.

Authors: Gaboardi, Marco Marion, Jean-Yves Della Rocca, Simona Ronchi

Source: ACM Transactions on Computational Logic; Apr2012, Vol. 13 Issue 2, p18:1-18:36, 36p

Subject Terms: LAMBDA calculus, MATHEMATICAL logic, BOOLEAN algebra, CONDITIONALS (Logic), POLYNOMIALS, TURING machines, MACHINE theory, DETERMINISTIC algorithms

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

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

Gas Turbine Combined Cycle Power Plants

Authors: S. Can Gülen

Resource Type: eBook.

Subjects: Electric power production, Gas-turbines, Electric generators

Categories: SCIENCE / Energy, SCIENCE / Mechanics / Thermodynamics, TECHNOLOGY & ENGINEERING / Mechanical

Energy Conversion

Authors: D. Yogi Goswami Frank Kreith

Resource Type: eBook.

Subjects: Energy conversion

Categories: SCIENCE / Energy, SCIENCE / Mechanics / Thermodynamics, TECHNOLOGY & ENGINEERING / Construction / Heating, Ventilation & Air Conditioning, TECHNOLOGY & ENGINEERING / Mechanical