Christof Löding, Wolfgang Thomas  Home/Search
Context
Related
| i7.informatik.rwthaachen.d...loth00.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: i7.informatik.r...homasabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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