Symbolic methods and automata

DOI10.4171/AUTOMATA-2/10MaRDI QIDQ2244827zbMATH OpenOpenAlexFDO

Authors B. Boigelot

Publication date 12 November 2021

Full work available at URL https://doi.org/10.4171/automata-2/10

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Review text

Summary: For the entire collection see [Zbl 1470.68002].

Recommendations

• Automatic structures
• Theoretical aspects of symbolic automata
• Symbolic tree automata
• The power of symbolic automata and transducers
• Boolean formulas and families of sets

Cited in

(5)

• A symbolic decision procedure for symbolic alternating finite automata
• SMT-based generation of symbolic automata
• Symbolic dynamics and finite automata
• Automated programming, symbolic computation, machine learning: my personal view
• Symbolic computation in automated program reasoning

This page was built for publication: Symbolic methods and automata

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