Sciweavers

    31686 search results - page 176 / 6338
    » Resource typing in Guru
    Sort
    View
    AMC
    2007
    65views more  AMC 2007»
    Convergence analysis of the secant type methods
    15 years 4 months ago
    Convergence analysis of the secant type methods
    Download  blues.lnu.edu.ua
    Jinhai Chen, Zuhe Shen
    claim paper
    Read More »
    CONCURRENCY
    2000
    96views more  CONCURRENCY 2000»
    Locality optimization in JavaParty by means of static type analysis
    15 years 4 months ago
    Locality optimization in JavaParty by means of static type analysis
    Download  www2.informatik.uni-erlangen.de
    Michael Philippsen, Bernhard Haumacher
    claim paper
    Read More »
    COLING
    2002
    128views Computational Linguistics» more  COLING 2002»
    A Note on Typing Feature Structures
    15 years 4 months ago
    A Note on Typing Feature Structures
    Download  www.cs.sfu.ca
    Shuly Wintner, Anoop Sarkar
    claim paper
    Read More »
    COMBINATORICS
    2002
    58views more  COMBINATORICS 2002»
    Triangle Free Sets and Arithmetic Progressions - Two Pisier Type Problems
    15 years 4 months ago
    Triangle Free Sets and Arithmetic Progressions - Two Pisier Type Problems
    Download  www.combinatorics.org
    Dennis Davenport, Neil Hindman, Dona Strauss
    claim paper
    Read More »
    ENTCS
    2000
    52views more  ENTCS 2000»
    Developing Theories of Types and Computability via Realizability
    15 years 4 months ago
    Developing Theories of Types and Computability via Realizability
    Download  www.itu.dk
    Lars Birkedal
    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.