Fast algorithm finding the shortest reset words
Fault Diagnosis with Dynamic Observers
Feasible Automata for Two-Variable Logic with Successor on Data Words
Fife's Theorem for (7/3)-Powers
Fife's Theorem Revisited
Filtrations of Formal Languages by Arithmetic Progressions
Finitary languages
Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games
Finite Orbits of Language Operations
Finite-Repetition threshold for infinite ternary words
Finite-State Complexity and the Size of Transducers
Finitely presented monoids with linear Dehn function need not have regular cross-sections
First-order Fragments with Successor over Infinite Words
First-Order Quantifiers and the Syntactic Monoid of Height Fragments of Picture Languages
Fixed points avoiding Abelian $k$-powers
Fragments of first-order logic over infinite words
Free inductive K-semialgebras
Free iterative and iteration K-semialgebras
From Regular to Strictly Locally Testable Languages
Fuzzy Chemical Abstract Machines