Languages, Automata, and Logic

This publication has 83 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Some Logical Characterizations of the Dot-Depth Hierarchy and Applications
  Journal of Computer and System Sciences, 1995
• An initial semantics for the μ-calculus on trees and Rabin's complementation lemma
  Theoretical Computer Science, 1995
• Automata on Infinite Trees with Counting Constraints
  Information and Computation, 1995
• Hardware verification using monadic second-order logic
  Published by Springer Nature ,1995
• Factors of words
  Published by Springer Nature ,1989
• Using determinancy of games to eliminate quantifiers
  Lecture Notes in Computer Science, 1977
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969
• Regular canonical systems
  Archive for Mathematical Logic, 1964
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960