Sciweavers

    3273 search results - page 14 / 655
    » types 2007
    Sort
    View
    82
    Voted
    CORR
    2007
    Springer
    101views Education» more  CORR 2007»
    Curry-style type Isomorphisms and Game Semantics
    15 years 3 months ago
    Curry-style type Isomorphisms and Game Semantics
    Download  www.pps.jussieu.fr
    Joachim De Lataillade
    claim paper
    Read More »
    92
    Voted
    CORR
    2007
    Springer
    78views Education» more  CORR 2007»
    Designing a commutative replicated data type
    15 years 3 months ago
    Designing a commutative replicated data type
    Download  hal.inria.fr
    Marc Shapiro, Nuno M. Preguiça
    claim paper
    Read More »
    70
    Voted
    CORR
    2007
    Springer
    91views Education» more  CORR 2007»
    On types of growth for graph-different permutations
    15 years 3 months ago
    On types of growth for graph-different permutations
    Download  www.renyi.hu
    János Körner, Gábor Simonyi, Bl...
    claim paper
    Read More »
    82
    Voted
    ENTCS
    2007
    93views more  ENTCS 2007»
    Types for Access Control in a Calculus of Mobile Resources
    15 years 3 months ago
    Types for Access Control in a Calculus of Mobile Resources
    Download  www.brics.dk
    Hans Hüttel, Morten Kühnrich
    claim paper
    Read More »
    ESWA
    2007
    107views more  ESWA 2007»
    Hierarchy as a new data type for qualitative variables
    15 years 3 months ago
    Hierarchy as a new data type for qualitative variables
    Download  www.cic.ipn.mx
    Serguei Levachkine, Adolfo Guzmán-Arenas
    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.