Pages that link to "Item:Q1709455"
From MaRDI portal
The following pages link to Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455):
Displaying 3 items.
- 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)
- Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411) (← links)