Buchi

Results: 132



#Item
31

PDF Document

Add to Reading List

Source URL: www.buchi-umai.jp

Language: Japanese - Date: 2014-08-31 18:26:34
    32A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics

    A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2013-06-19 02:20:50
    33Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email:

    Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email:

    Add to Reading List

    Source URL: software.imdea.org

    Language: English - Date: 2014-06-27 10:56:07
    34How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

    How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

    Add to Reading List

    Source URL: software.imdea.org

    Language: English - Date: 2014-06-27 10:56:07
    35¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu

    ¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu

    Add to Reading List

    Source URL: www.cs.rice.edu

    Language: English - Date: 2009-01-15 18:34:20
      36¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu

      ¨ Efficient Buchi Universality Checking ? Seth Fogarty and Moshe Y. Vardi Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu

      Add to Reading List

      Source URL: www.cs.rice.edu

      Language: English - Date: 2010-01-07 03:37:15
        37BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting

        BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2002-01-07 08:27:59
        38¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty

        ¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty

        Add to Reading List

        Source URL: www.cs.rice.edu

        Language: English - Date: 2013-07-18 21:05:22
        39On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?

        On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ?

        Add to Reading List

        Source URL: www.mimuw.edu.pl

        Language: English - Date: 2008-12-09 11:42:04
        40Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel

        Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel

        Add to Reading List

        Source URL: files.oliverfriedmann.de

        Language: English - Date: 2012-02-10 07:43:13