Reasoning about the past with two-way automata

This publication has 32 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• On the expressive power of variable-confined logics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the Decision Problem for Two-Variable First-Order Logic
  Bulletin of Symbolic Logic, 1997
• Determinization and Memoryless Winning Strategies
  Information and Computation, 1997
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
  Published by Springer Nature ,1996
• Description Logics with inverse roles, functional restrictions, and n-ary relations
  Published by Springer Nature ,1994
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Characterizing correctness properties of parallel programs using fixpoints
  Published by Springer Nature ,1980
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979