See this document in CiteSeerX!

Alternating Automata and Logics over Infinite Words (Extended Abstract) (2000)  (Make Corrections)  
Christof Löding, Wolfgang Thomas



  Home/Search   Context   Related

 
View or download:
i7.informatik.rwthaachen.d...loth00.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  i7.informatik.r...homasabstracts (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Christof Loding, Wolfgang Thomas Lehrstuhl fur Informatik VII, RWTH Aachen, D-52056 Aachen floeding,thomasg@informatik.rwth-aachen.de Abstract. We give a uniform treatment of the logical properties of alternating weak automata on in nite strings, extending and re ning work of Muller, Saoudi, and Schupp (1984) and Kupferman and Vardi (1997). (Update)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ ding-alternating,
  author = "Christof Löding and Wolfgang Thomas",
  title = "Alternating Automata and Logics over Infinite Words (Extended Abstract)",
  url = "citeseer.ist.psu.edu/755140.html" }
Citations (may not include all citations):
1180   The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
725   Temporal and modal logic (context) - Emerson - 1990
131   and logic (context) - Thomas, automata - 1997
40   the weak monadic theory of the tree and its complexity (context) - Muller, Saoudi et al. - 1986
39   Weak alternating automata are not that weak - Kupferman, Vardi - 1997
29   a decision method in restricted second order arithmetic (context) - uchi - 1962
24   Theoretical Computer Science (context) - Miyano, Hayashi et al. - 1984
12   automata with applications to temporal logic (context) - Klarlund, for - 1991
9   Alternating automata: Unifying truth and validity checking f.. (context) - Vardi - 1997
8   Alternating automata on in nite trees (context) - Muller, Schupp - 1987
7   Alternating automata and the temporal logic of ordinals (context) - Rohde - 1997
4   automata: Complexity and connection to second order logic (context) - oding, the - 1998
2   uchi automata revisited (context) - Thomas - 1999
2   Decision poblems (context) - Landweber - 1969

Documents on the same site (http://www-i7.informatik.rwth-aachen.de/d/publications/pub-Thomas-abstracts.html):   More
Deterministic Automata on Unranked Trees - Julien Cristau Christof   (Correct)
Symbolic Synthesis of Finite-State Controllers for.. - Wallmeier, Hütten..   (Correct)
On Intersection Problems for Polynomially Generated Sets - Karianto, Krieg, Thomas   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC