Pages that link to "Item:Q334231"
From MaRDI portal
The following pages link to Harmonization of automata specifications represented in the language L (Q334231):
Displaying 4 items.
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Harmonization of interacting automata (Q904417) (← links)
- Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455) (← links)
- Determinization of logical specifications of automata (Q1907766) (← links)