Sciweavers

    31387 search results - page 272 / 6278
    » Abstracting abstract machines
    Sort
    View
    VLDB
    1995
    ACM
    78views Database» more  VLDB 1995»
    The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
    15 years 10 months ago
    The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
    Download  www.vldb.org
    Henry F. Korth
    claim paper
    Read More »
    ASIACRYPT
    1991
    Springer
    84views Cryptology» more  ASIACRYPT 1991»
    Revealing Information with Partial Period Correlations (Extended Abstract)
    15 years 10 months ago
    Revealing Information with Partial Period Correlations (Extended Abstract)
    Download  www.math.ias.edu
    g Information with Partial Period Correlations (extendedabstract) Andrew Klapper Mark Goresky Northeastern University, College of Computer Science, Boston, MA 02115, U.S.A.
    Andrew Klapper, Mark Goresky
    claim paper
    Read More »
    ECSQARU
    1991
    Springer
    149views Automated Reasoning» more  ECSQARU 1991»
    Abduction in Labelled Deductive Systems - A Conceptual Abstract
    15 years 10 months ago
    Abduction in Labelled Deductive Systems - A Conceptual Abstract
    Download  www.dcs.kcl.ac.uk
    Dov M. Gabbay
    claim paper
    Read More »
    CTRS
    1994
    156views Theoretical Computer Science» more  CTRS 1994»
    Abstract Notions and Inference Systems for Proofs by Mathematical Induction
    15 years 10 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 »
    ICLP
    1991
    Springer
    173views Automated Reasoning» more  ICLP 1991»
    Abstract Interpretation of Logic Programs
    15 years 10 months ago
    Abstract Interpretation of Logic Programs
    Download  www.clip.dia.fi.upm.es
    Interpretation of Logic Programs 1
    Patrick Cousot
    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.