Sciweavers

    MSCS
    2006
    53views more  MSCS 2006»
    Random reals and Lipschitz continuity
    13 years 11 months ago
    Random reals and Lipschitz continuity
    Download  www.barmpalias.net
    Abstract. Lipschitz continuity is used as a tool for analyzing the relationship between incomputability and randomness. Having presented a simpler proof of one of the major results...
    Andrew E. M. Lewis, George Barmpalias
    claim paper
    Read More »
    MSCS
    2006
    73views more  MSCS 2006»
    Continuous semantics for strong normalisation
    13 years 11 months ago
    Continuous semantics for strong normalisation
    Download  www.cs.swan.ac.uk
    Ulrich Berger
    claim paper
    Read More »
    MSCS
    2006
    62views more  MSCS 2006»
    Compactly generated domain theory
    13 years 11 months ago
    Compactly generated domain theory
    Download  homepages.inf.ed.ac.uk
    Ingo Battenfeld, Matthias Schröder, Alex Simp...
    claim paper
    Read More »
    MSCS
    2006
    87views more  MSCS 2006»
    Addressed term rewriting systems: application to a typed object calculus
    13 years 11 months ago
    Addressed term rewriting systems: application to a typed object calculus
    Download  web.cs.wpi.edu
    Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...
    claim paper
    Read More »
    MSCS
    2006
    58views more  MSCS 2006»
    Ordinal computations
    13 years 11 months ago
    Ordinal computations
    Download  www.math.uic.edu
    Peter Koepke, Martin Koerwien
    claim paper
    Read More »
    MSCS
    2006
    54views more  MSCS 2006»
    Quasi-metric spaces and point-free geometry
    13 years 11 months ago
    Quasi-metric spaces and point-free geometry
    Download  www.dmi.unisa.it
    nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...
    Anna Di Concilio, Giangiacomo Gerla
    claim paper
    Read More »
    MSCS
    2006
    50views more  MSCS 2006»
    Monoids over domains
    13 years 11 months ago
    Monoids over domains
    Download  www.entcs.org
    Michael W. Mislove
    claim paper
    Read More »
    MSCS
    2006
    69views more  MSCS 2006»
    Restricted jump interpolation in the d.c.e. degrees
    13 years 11 months ago
    Restricted jump interpolation in the d.c.e. degrees
    Download  www.math.uiuc.edu
    It is shown that for any 2-computably enumerable Turing degree l, any computably enumerable degree a, and any Turing degree s, if l = 0 , l < a, s 0 , and s is c.e. in a, then...
    Carl G. Jockusch Jr., Angsheng Li
    claim paper
    Read More »
    MSCS
    2006
    49views more  MSCS 2006»
    On light logics, uniform encodings and polynomial time
    13 years 11 months ago
    On light logics, uniform encodings and polynomial time
    Download  www-lipn.univ-paris13.fr
    Ugo Dal Lago, Patrick Baillot
    claim paper
    Read More »
    MSCS
    2006
    52views more  MSCS 2006»
    Quotients of countably based spaces are not closed under sobrification
    13 years 11 months ago
    Quotients of countably based spaces are not closed under sobrification
    Download  www.auburn.edu
    Gary Gruenhage, Thomas Streicher
    claim paper
    Read More »
    « first‹ previous123next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.