Counter-free automata, first-order logic, and star-free expressions extended by prefix oracles

MaRDI QIDQ5485993zbMATH OpenFDO

Authors Ina Schiering, Wolfgang Thomas

Publication date 6 September 2006

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• First-order definable languages
• scientific article; zbMATH DE number 3926262
• scientific article; zbMATH DE number 4051034
• Star free expressions over the reals
• Regular sets over extended tree structures

Cited in

(5)

• Implementation and Application of Automata
• A first-order logic characterization of safety and co-safety languages
• A finite state intersection approach to propositional satisfiability
• Regular sets over extended tree structures
• Semantics of attack-defense trees for dynamic countermeasures and a new hierarchy of star-free languages

This page was built for publication: Counter-free automata, first-order logic, and star-free expressions extended by prefix oracles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5485993)