Sciweavers

    1717 search results - page 29 / 344
    » A Computable Spectral Theorem
    Sort
    View
    PODC
    1989
    ACM
    58views Distributed and Parallel Com...» more  PODC 1989»
    A Structural Induction Theorem for Processes
    15 years 7 months ago
    A Structural Induction Theorem for Processes
    Download  www.cadence.com
    Robert P. Kurshan, Kenneth L. McMillan
    claim paper
    Read More »
    FOCS
    2004
    IEEE
    128views Theoretical Computer Science» more  FOCS 2004»
    Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs
    15 years 7 months ago
    Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs
    Download  www.ucw.cz
    Hartmut Klauck, Robert Spalek, Ronald de Wolf
    claim paper
    Read More »
    108
    Voted
    ARITH
    2003
    IEEE
    86views Applied Computing» more  ARITH 2003»
    Theorems on Efficient Argument Reductions
    15 years 7 months ago
    Theorems on Efficient Argument Reductions
    Download  www.dec.usc.es
    Ren-Cang Li, Sylvie Boldo, Marc Daumas
    claim paper
    Read More »
    STACS
    2012
    Springer
    252views Theoretical Computer Science» more  STACS 2012»
    Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth
    13 years 11 months ago
    Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth
    Download  www.tcs.uni-luebeck.de
    Michael Elberfeld, Andreas Jakoby, Till Tantau
    claim paper
    Read More »
    FCT
    2009
    Springer
    86views Applied Computing» more  FCT 2009»
    Independence Results for n-Ary Recursion Theorems
    15 years 10 months ago
    Independence Results for n-Ary Recursion Theorems
    Download  www.cis.udel.edu
    The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
    John Case, Samuel E. Moelius
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.