Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages

Documenti analoghi

• Positive First-order Logic on Words and Graphs
  di: Kuperberg, Denis
  Pubblicazione: (2022)
• An Automaton-based Characterisation of First-Order Logic over Infinite Trees
  di: Benerecetti, Massimo, et al.
  Pubblicazione: (2025)
• Automaton-based Characterisations of First Order Logic over Infinite Trees
  di: Benerecetti, Massimo, et al.
  Pubblicazione: (2026)
• The Alternation Hierarchy of First-Order Logic on Words is Decidable
  di: Barloy, Corentin, et al.
  Pubblicazione: (2025)
• Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
  di: Bueri, Lucas, et al.
  Pubblicazione: (2024)