Sciweavers

    2272 search results - page 157 / 455
    » A Calculus for
    Sort
    View
    COLING
    1990
    60views Computational Linguistics» more  COLING 1990»
    Normal Form Theorem Proving for the Lambek Calculus
    15 years 5 months ago
    Normal Form Theorem Proving for the Lambek Calculus
    Download  acl.ldc.upenn.edu
    Mark Hepple
    claim paper
    Read More »
    IJCAI
    1989
    82views Artificial Intelligence» more  IJCAI 1989»
    A Computational Structure for the Propositional Calculus
    15 years 5 months ago
    A Computational Structure for the Propositional Calculus
    Download  dli.iiit.ac.in
    M. J. Shensa
    claim paper
    Read More »
    COLING
    1992
    96views Computational Linguistics» more  COLING 1992»
    A Tense And Aspect Calculus
    15 years 5 months ago
    A Tense And Aspect Calculus
    Download  acl.ldc.upenn.edu
    This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...
    Diana Santos
    claim paper
    Read More »
    ECRTS
    2010
    IEEE
    192views Embedded Systems» more  ECRTS 2010»
    ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
    15 years 5 months ago
    ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
    Download  www-verimag.imag.fr
    Karine Altisen, Matthieu Moy
    claim paper
    Read More »
    GG
    2010
    Springer
    150views Theoretical Computer Science» more  GG 2010»
    A Hoare Calculus for Graph Programs
    15 years 5 months ago
    A Hoare Calculus for Graph Programs
    Download  www-users.cs.york.ac.uk
    el of abstraction). Refereed Conference and Workshop Papers
    Christopher M. Poskitt, Detlef Plump
    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.