Sciweavers

    2272 search results - page 151 / 455
    » A Calculus for
    Sort
    View
    POPL
    1990
    ACM
    94views Programming Languages» more  POPL 1990»
    An Algorithm for Optimal Lambda Calculus Reduction
    15 years 7 months ago
    An Algorithm for Optimal Lambda Calculus Reduction
    Download  www2.parc.com
    John Lamping
    claim paper
    Read More »
    CSFW
    2010
    IEEE
    227views Security Privacy» more  CSFW 2010»
    Automating Open Bisimulation Checking for the Spi Calculus
    15 years 7 months ago
    Automating Open Bisimulation Checking for the Spi Calculus
    Download  users.cecs.anu.edu.au
    We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
    Alwen Tiu, Jeremy E. Dawson
    claim paper
    Read More »
    AAAI
    2007
    103views Intelligent Agents» more  AAAI 2007»
    A Situation-Calculus Semantics for an Expressive Fragment of PDDL
    15 years 6 months ago
    A Situation-Calculus Semantics for an Expressive Fragment of PDDL
    Download  www.cs.toronto.edu
    Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer
    claim paper
    Read More »
    AAAI
    2008
    126views Intelligent Agents» more  AAAI 2008»
    On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
    15 years 6 months ago
    On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
    Download  stavros.lostre.org
    In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
    Stavros Vassos, Hector J. Levesque
    claim paper
    Read More »
    DLOG
    2007
    106views Automated Reasoning» more  DLOG 2007»
    Description Logics in the Calculus of Structures
    15 years 6 months ago
    Description Logics in the Calculus of Structures
    Download  dl.kr.org
    Jean-David Roubach, Pascal Yim, Joaquin Rodriguez
    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.