Pages that link to "Item:Q1337463"
From MaRDI portal
The following pages link to A branching time logic with past operators (Q1337463):
Displaying 7 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- \textit{Once} and \textit{for all} (Q439961) (← links)
- The temporal logic of branching time (Q789895) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Undivided and indistinguishable histories in branching-time logics (Q1289103) (← links)
- (Q4733384) (← links)
- (Q5190775) (← links)