Pages that link to "Item:Q5434506"
From MaRDI portal
The following pages link to A Decidable Temporal Logic of Repeating Values (Q5434506):
Displaying 4 items.
- Reasoning about real-time repetitions: Terminating and nonterminating (Q700976) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Logics of Repeating Values on Data Trees and Branching Counter Systems (Q2988368) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)