Pages that link to "Item:Q5942109"
From MaRDI portal
The following pages link to Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) (Q5942109):
Displaying 16 items.
- Improved method of synthesis of an automaton from its specification in the language \(L\) (Q464896) (← links)
- Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718) (← links)
- Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I (Q1280907) (← links)
- Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). II (Q1280979) (← links)
- Extension of the automaton specification logical language and the synthesis problem (Q1385765) (← links)
- Construction of an automaton from a formula of the monadic first-order theory of natural numbers (Q1407164) (← 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)
- Synthesis of a nondeterministic automaton from its logical specification. II (Q1816006) (← links)
- Inductive synthesis of recursive processes from logical properties (Q1854392) (← links)
- Automaton synthesis from a nonformal specification (Q1905170) (← links)
- Determinization of logical specifications of automata (Q1907766) (← links)
- Design of reactive algorithms by solving equations over automata (Q2263188) (← links)
- Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411) (← links)
- (Q5147341) (← links)
- Inductive Logic Programming (Q5494320) (← links)
