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

zbMATH Open1096.68667MaRDI QIDQ5485993FDOQ5485993

Authors: Ina Schiering, Wolfgang Thomas 

Publication date: 6 September 2006

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

Mathematics Subject Classification ID

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

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)