Sciweavers

    3440 search results - page 31 / 688
    » Logics For Context-Free Languages
    Sort
    View
    TIME
    2006
    IEEE
    81views Automated Reasoning» more  TIME 2006»
    From Language to Time: A Temporal Expression Anchorer
    16 years 12 hour ago
    From Language to Time: A Temporal Expression Anchorer
    Download  www.cs.cmu.edu
    Benjamin Han, Donna Gates, Lori S. Levin
    claim paper
    Read More »
    AGP
    2003
    IEEE
    127views Artificial Intelligence» more  AGP 2003»
    Operational Semantics of an Imperative Language in Definite Clauses
    15 years 11 months ago
    Operational Semantics of an Imperative Language in Definite Clauses
    Download  akira.ruc.dk
    Jørgen Villadsen
    claim paper
    Read More »
    CSL
    2008
    Springer
    134views Automated Reasoning» more  CSL 2008»
    Characterization of Logics over Ranked Tree Languages
    15 years 7 months ago
    Characterization of Logics over Ranked Tree Languages
    Download  www.lsv.ens-cachan.fr
    We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
    Thomas Place
    claim paper
    Read More »
    ESOP
    2010
    Springer
    115views Programming Languages» more  ESOP 2010»
    A PolyTime Functional Language from Light Linear Logic
    16 years 3 months ago
    A PolyTime Functional Language from Light Linear Logic
    Download  perso.ens-lyon.fr
    Patrick Baillot, Marco Gaboardi and Virgile Mogbil
    claim paper
    Read More »
    POPL
    2009
    ACM
    113views Programming Languages» more  POPL 2009»
    Classical BI: a logic for reasoning about dualising resources
    16 years 6 months ago
    Classical BI: a logic for reasoning about dualising resources
    Download  www.doc.ic.ac.uk
    James Brotherston, Cristiano Calcagno
    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.