Sciweavers

    69 search results - page 1 / 14
    » mscs 2006
    Sort
    View
    104
    Voted
    MSCS
    2006
    73views more  MSCS 2006»
    Continuous semantics for strong normalisation
    15 years 5 months ago
    Continuous semantics for strong normalisation
    Download  www.cs.swan.ac.uk
    Ulrich Berger
    claim paper
    Read More »
    105
    Voted
    MSCS
    2006
    50views more  MSCS 2006»
    Monoids over domains
    15 years 5 months ago
    Monoids over domains
    Download  www.entcs.org
    Michael W. Mislove
    claim paper
    Read More »
    126
    Voted
    MSCS
    2006
    71views more  MSCS 2006»
    A domain-theoretic Banach-Alaoglu theorem
    15 years 5 months ago
    A domain-theoretic Banach-Alaoglu theorem
    Download  homepages.inf.ed.ac.uk
    Gordon D. Plotkin
    claim paper
    Read More »
    102
    Voted
    MSCS
    2000
    63views more  MSCS 2000»
    Domain equations for probabilistic processes
    15 years 5 months ago
    Domain equations for probabilistic processes
    Download  www.inf.tu-dresden.de
    Christel Baier, Marta Z. Kwiatkowska
    claim paper
    Read More »
    106
    Voted
    MSCS
    2000
    77views more  MSCS 2000»
    Algebraic spans
    15 years 5 months ago
    Algebraic spans
    Download  www.cs.brown.edu
    Maurice Herlihy, Sergio Rajsbaum
    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.