Sciweavers

    31387 search results - page 323 / 6278
    » Abstracts
    Sort
    View
    JOT
    2007
    69views more  JOT 2007»
    Inspector Methods for State Abstraction
    15 years 6 months ago
    Inspector Methods for State Abstraction
    Download  www.jot.fm
    Bart Jacobs, Frank Piessens
    claim paper
    Read More »
    AI
    2004
    Springer
    112views Artificial Intelligence» more  AI 2004»
    E-connections of abstract description systems
    15 years 6 months ago
    E-connections of abstract description systems
    Download  www.cs.man.ac.uk
    Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...
    claim paper
    Read More »
    JSAT
    2007
    95views more  JSAT 2007»
    An Abstract Decision Procedure for a Theory of Inductive Data Types
    15 years 6 months ago
    An Abstract Decision Procedure for a Theory of Inductive Data Types
    Download  jsat.ewi.tudelft.nl
    Clark Barrett, Igor Shikanian, Cesare Tinelli
    claim paper
    Read More »
    JSW
    2007
    99views more  JSW 2007»
    Abstract Interpretation-based Static Safety for Actors
    15 years 6 months ago
    Abstract Interpretation-based Static Safety for Actors
    Download  www.academypublisher.com
    Pierre-Loïc Garoche, Marc Pantel, Xavier Thir...
    claim paper
    Read More »
    JUCS
    2007
    70views more  JUCS 2007»
    Programming through Spreadsheets and Tabular Abstractions
    15 years 6 months ago
    Programming through Spreadsheets and Tabular Abstractions
    Download  www.jucs.org
    Carlos Henrique Quartucci Forster
    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.