Pages that link to "Item:Q2826034"
From MaRDI portal
The following pages link to Temporal logics on strings with prefix relation (Q2826034):
Displaying 6 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints (Q2411048) (← links)
- Temporal logics on words with multiple data values (Q2908879) (← links)
- Satisfiability of ECTL* with Tree Constraints (Q3194710) (← links)
- (Q5101342) (← links)
- First steps towards taming description logics with strings (Q6545544) (← links)