Sciweavers

    2436 search results - page 5 / 488
    » Comonadic Notions of Computation
    Sort
    View
    TLCA
    1993
    Springer
    113views Theoretical Computer Science» more  TLCA 1993»
    An Abstract Notion of Application
    15 years 7 months ago
    An Abstract Notion of Application
    Download  users.dimi.uniud.it
    Pietro Di Gianantonio, Furio Honsell
    claim paper
    Read More »
    139
    Voted
    CTRS
    1994
    156views Theoretical Computer Science» more  CTRS 1994»
    Abstract Notions and Inference Systems for Proofs by Mathematical Induction
    15 years 7 months ago
    Abstract Notions and Inference Systems for Proofs by Mathematical Induction
    Download  www.ags.uni-sb.de
    Claus-Peter Wirth, Klaus Becker
    claim paper
    Read More »
    CHI
    2007
    ACM
    183views Human Computer Interaction» more  CHI 2007»
    Addressing constraints: multiple usernames task spillage and notions of identity
    16 years 3 months ago
    Addressing constraints: multiple usernames task spillage and notions of identity
    Download  elizabethchurchill.com
    Benjamin M. Gross, Elizabeth F. Churchill
    claim paper
    Read More »
    96
    Voted
    EDOC
    2004
    IEEE
    79views Distributed And Parallel Com...» more  EDOC 2004»
    On the Notion of Abstract Platform in MDA Development
    15 years 7 months ago
    On the Notion of Abstract Platform in MDA Development
    Download  wwwhome.cs.utwente.nl
    João Paulo A. Almeida, Remco M. Dijkman, Ma...
    claim paper
    Read More »
    IFIPTCS
    2010
    130views Theoretical Computer Science» more  IFIPTCS 2010»
    Initial Segment Complexities of Randomness Notions
    15 years 1 months ago
    Initial Segment Complexities of Randomness Notions
    Download  hoelzl.fr
    Schnorr famously proved that Martin-L
    Rupert Hölzl, Thorsten Kräling, Frank St...
    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.