The following pages link to (Q5723184):
Displaying 9 items.
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- A descriptive complexity approach to the linear hierarchy. (Q1401413) (← links)
- Arithmetical definability and computational complexity (Q1885035) (← links)
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- Weighted automata (Q2074206) (← links)
- The many faces of a translation (Q2581761) (← links)
- (Q4453869) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
