The following pages link to (Q5147350):
Displayed 5 items.
- Harmonization of automata specifications represented in the language L (Q334231) (← links)
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Synthesis of \(\Sigma\)-automata specified in the first order logical languages LP and LF (Q1616245) (← links)
- Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455) (← links)
- Using the compatibility analysis of logical specifications of automata to solve game problems (Q2263301) (← links)