Pages that link to "Item:Q2287411"

The following pages link to Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411):

Displayed 2 items.

• Intersection of \(-\omega \)-regular expressions (Q2058685) ‎ (← links)
• From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions (Q2215841) ‎ (← links)