Sciweavers

    3552 search results - page 42 / 711
    » Proof theory in the abstract
    Sort
    View
    JAIR
    2008
    82views more  JAIR 2008»
    A General Theory of Additive State Space Abstractions
    15 years 6 months ago
    A General Theory of Additive State Space Abstractions
    Download  www.aaai.org
    Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Z...
    claim paper
    Read More »
    IGPL
    2007
    73views more  IGPL 2007»
    Fibred and Indexed Categories for Abstract Model Theory
    15 years 6 months ago
    Fibred and Indexed Categories for Abstract Model Theory
    Download  www.inf.pucrs.br
    Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
    claim paper
    Read More »
    TCOS
    2008
    93views Computer Science» more  TCOS 2008»
    Toward a Generic Mathematical Model of Abstract Game Theories
    15 years 6 months ago
    Toward a Generic Mathematical Model of Abstract Game Theories
    Download  enel.ucalgary.ca
    Yingxu Wang
    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 »
    CONCUR
    2012
    Springer
    227views Distributed And Parallel Com...» more  CONCUR 2012»
    A Theory of History Dependent Abstractions for Learning Interface Automata
    13 years 8 months ago
    A Theory of History Dependent Abstractions for Learning Interface Automata
    Download  www.fidesaarts.nl
    Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...
    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.