For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
43
views
9
references
 Top references
cited by
64
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      2,709
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      The complementation problem for Büchi automata with applications to temporal logic

      Author(s): , ,
      Publication date Created:
      Publication date (Print):
      Journal: Theoretical Computer Science
      Publisher: Elsevier BV

      Read this article at

      ScienceOpenPublisher
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Related collections

          Most cited references9

          • Record: found
          • Abstract: not found
          • Article: not found

          Finite Automata and Their Decision Problems

          M. Rabin, Richard D Scott (1959)
          Article 0 comments Cited 223 times – based on 0 reviews     Review now
            • Record: found
            • Abstract: not found
            • Article: not found

            The complexity of propositional linear temporal logics

            A. Sistla, E. Clarke (1985)
            Article 0 comments Cited 127 times – based on 0 reviews     Review now
              • Record: found
              • Abstract: not found
              • Article: not found

              Temporal logic can be more expressive

              Pierre Wolper (1983)
              Article 0 comments Cited 65 times – based on 0 reviews     Review now
                All references

                Author and article information

                Journal
                Title: Theoretical Computer Science
                Abbreviated Title: Theoretical Computer Science
                Publisher: Elsevier BV
                ISSN (Print): 03043975
                Publication date Created: 1987
                Publication date (Print): 1987
                Volume: 49
                Issue: 2-3
                Pages: 217-237
                Article
                DOI: 10.1016/0304-3975(87)90008-9
                SO-VID: e4fd0516-045c-44a4-86ad-f947ace9b50f
                Copyright © © 1987
                License:

                http://www.elsevier.com/tdm/userlicense/1.0/

                History

                Data availability:

                Comments

                Comment on this article

                Related Documents Log
                scite_

                Similar content2,709

                See all similar

                Cited by63

                See all cited by

                Most referenced authors42

                See all reference authors