Pages that link to "Item:Q1385765"
From MaRDI portal
The following pages link to Extension of the automaton specification logical language and the synthesis problem (Q1385765):
Displayed 3 items.
- Approximation of sets of superwords by \(L\)-language formulas (Q941189) (← links)
- Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I (Q1280907) (← links)
- On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines (Q1956960) (← links)