Výsledky vyhľadávania - Complexity Measures and Classes—Machine-independent complexity General Terms

  • Zobrazené výsledky 1 - 8 z 8
Upresniť hľadanie
  1. 1

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

    Autori: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

    Prispievatelia: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

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

    Predmety: 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 súboru: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    Arithmetic Complexity.

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

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

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    Context Semantics, Linear Logic, and Computational Complexity.

    Autori: Lago, Ugo Dal

    Zdroj: ACM Transactions on Computational Logic; Aug2009, Vol. 10 Issue 4, p25-25:32, 32p, 18 Diagrams, 3 Charts

    Predmety: GEOMETRY, IMPLICIT functions, LINEAR algebra, SEMANTICS, QUANTITATIVE research, POLYNOMIALS

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  4. 4

    An Implicit Characterization of PSPACE.

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

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

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  5. 5

    The Geometry of Linear Higher-Order Recursion.

    Autori: Lago, Ugo Dal

    Zdroj: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p8-8.38, 38p, 6 Diagrams, 6 Charts

    Predmety: RECURSION theory, MATHEMATICAL logic, LINEAR dependence (Mathematics), POLYNOMIALS, LAMBDA calculus

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  6. 6

    Pure Pointer Programs with Iteration.

    Autori: Hofmann, Martin Schöpp, Ulrich

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

    Predmety: GRAPH algorithms, DATA analysis, MATHEMATICAL analysis, MATHEMATICAL optimization, MATHEMATICS education

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  7. 7

    Gas Turbine Combined Cycle Power Plants

    Autori: S. Can Gülen

    Typ zdroja: eBook.

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

    Kategórie: SCIENCE / Energy, SCIENCE / Mechanics / Thermodynamics, TECHNOLOGY & ENGINEERING / Mechanical

    Pridať do obľúbených
  8. 8

    Energy Conversion

    Autori: D. Yogi Goswami Frank Kreith

    Typ zdroja: eBook.

    Predmet: Energy conversion

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

    Pridať do obľúbených

Vyhľadávacie nástroje: