Showing 1 - 12 results of 12 for search '"computation tree logic"', query time: 0.09s Refine Results
  1. 1
    Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
    by Mogavero, Fabio
    Published 2013
    Table of Contents: “…Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Validation of Stochastic Systems A Guide to Current Research /
    Published 2004
    Table of Contents: “… -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Forms of Context-Free Grammars in HOL4 -- Automata vs. Logics on Data Words -- Graded Computation Tree…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Published 2007
    Table of Contents: “… for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Beyond Two: Theory and Applications of Multiple-Valued Logic
    Published 2003
    Table of Contents: “… Search Algorithms for Non-clausal Satisfiability -- Model Checking for Multi-valued Computation Tree…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Interpretation of the full computation tree logic CTL* on sets of infinite sequences -- Type introduction…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Computational Methods in Systems Biology First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 /
    Published 2003
    Table of Contents: “… Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    AI 2009: Advances in Artificial Intelligence 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Knowledge Representation and Reasoning -- Extended Full Computation-Tree Logic with Sequence Modal Operator…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings /
    Published 2005
    Table of Contents: “…: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search