On fixed-point clones

This publication has 8 references indexed in Scilit:

• The greatest fixed-points and rational omega-tree languages
  Theoretical Computer Science, 1986
• Fixed-point characterization of context-free ∞-languages
  Information and Control, 1984
• Automata theoretic techniques for modal logics of programs
  Published by Association for Computing Machinery (ACM) ,1984
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Characterizing correctness properties of parallel programs using fixpoints
  Published by Springer Nature ,1980
• Non deterministic recursive program schemes
  Lecture Notes in Computer Science, 1977
• Weakly Definable Relations and Special Automata
  Published by Elsevier ,1970
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966