28
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      LATIN 2002: Theoretical Informatics 

      On Logical Descriptions of Regular Languages

      other
      Springer Berlin Heidelberg

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references10

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

          Weak Second-Order Arithmetic and Finite Automata

          J. Büchi (1960)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Characterizations of locally testable events

              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              Finite Automata, Formal Logic, and Circuit Complexity

                Bookmark

                Author and book information

                Book Chapter
                2002
                March 14 2002
                : 528-538
                10.1007/3-540-45995-2_46
                775adb99-4eda-4d7c-b87b-b66829231a57
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,386

                Cited by10