Sciweavers

    1167 search results - page 65 / 234
    » A Really Temporal Logic
    Sort
    View
    TIME
    2002
    IEEE
    90views Automated Reasoning» more  TIME 2002»
    Indexed Flows in Temporal x Modal Logic with Functional Semantics
    15 years 11 months ago
    Indexed Flows in Temporal x Modal Logic with Functional Semantics
    Download  www.matap.uma.es
    Alfredo Burrieza, Inman P. de Guzmán, Emili...
    claim paper
    Read More »
    MPC
    2010
    Springer
    172views Mathematics» more  MPC 2010»
    Temporal Logic Verification of Lock-Freedom
    15 years 11 months ago
    Temporal Logic Verification of Lock-Freedom
    Download  mpc-amast2010.fsg.ulaval.ca
    Bogdan Tofan, Simon Bäumler, Gerhard Schellho...
    claim paper
    Read More »
    TIME
    1999
    IEEE
    120views Automated Reasoning» more  TIME 1999»
    Introducing Temporal Description Logics
    15 years 10 months ago
    Introducing Temporal Description Logics
    Download  www.dbnet.ece.ntua.gr
    Alessandro Artale, Enrico Franconi
    claim paper
    Read More »
    CAV
    1998
    Springer
    138views Hardware» more  CAV 1998»
    Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
    15 years 10 months ago
    Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
    Download  hvg.ece.concordia.ca
    bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
    Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
    claim paper
    Read More »
    JELIA
    1998
    Springer
    62views Artificial Intelligence» more  JELIA 1998»
    Implicates and Reduction Techniques for Temporal Logics
    15 years 10 months ago
    Implicates and Reduction Techniques for Temporal Logics
    Download  sevein.matap.uma.es
    Inman P. de Guzmán, Manuel Ojeda-Aciego, Ag...
    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.