Pages that link to "Item:Q2232279"
From MaRDI portal
The following pages link to Temporal logics with language parameters (Q2232279):
Displaying 7 items.
- Syntax and semantics for a fuzzy temporal constraint logic (Q1610489) (← links)
- Temporal logics on words with multiple data values (Q2908879) (← links)
- Temporal Assertions with Parametrized Propositions (Q3569200) (← links)
- Hybrid languages and temporal logic (Q4238499) (← links)
- (Q4503155) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- Temporal logics with language parameters (Q6186316) (← links)