Sciweavers

    2225 search results - page 38 / 445
    » Logical Structures in the Lexicon
    Sort
    View
    ISMVL
    1999
    IEEE
    113views Hardware» more  ISMVL 1999»
    Supplementary Symmetrical Logic Circuit Structure
    15 years 7 months ago
    Supplementary Symmetrical Logic Circuit Structure
    Download  www.omnibaselogic.com
    Edgar "Dan" Olson
    claim paper
    Read More »
    WADT
    1999
    Springer
    103views Software Engineering» more  WADT 1999»
    Higher-Order Logic and Theorem Proving for Structured Specifications
    15 years 7 months ago
    Higher-Order Logic and Theorem Proving for Structured Specifications
    Download  delta.math.univ.gda.pl
    Tomasz Borzyszkowski
    claim paper
    Read More »
    95
    Voted
    KGC
    1993
    Springer
    72views Automated Reasoning» more  KGC 1993»
    The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
    15 years 7 months ago
    The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
    Download  www-philo.univ-paris1.fr
    Vincent Danos, Jean-Baptiste Joinet, Harold Schell...
    claim paper
    Read More »
    101
    Voted
    VLDB
    1992
    ACM
    89views Database» more  VLDB 1992»
    Resilient Logical Structures for Efficient Management of Replicated Data
    15 years 7 months ago
    Resilient Logical Structures for Efficient Management of Replicated Data
    Download  www.vldb.org
    Divyakant Agrawal, Amr El Abbadi
    claim paper
    Read More »
    ISLPED
    1995
    ACM
    84views Hardware» more  ISLPED 1995»
    Explicit evaluation of short circuit power dissipation for CMOS logic structures
    15 years 7 months ago
    Explicit evaluation of short circuit power dissipation for CMOS logic structures
    Download  www.cecs.uci.edu
    S. Turgis, Nadine Azémard, Daniel Auvergne
    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.