Pages that link to "Item:Q2488275"
From MaRDI portal
The following pages link to Alternating automata and temporal logic normal forms (Q2488275):
Displaying 4 items.
- Dynamic logic assigned to automata (Q682633) (← links)
- Transformation from PLTL to automata via NFGs (Q2253959) (← links)
- On the Relationship between -automata and Temporal Logic Normal Forms (Q3146301) (← links)
- On the expressive power of the normal form for branching-time temporal logics (Q6659914) (← links)