The following pages link to (Q3839068):
Displaying 8 items.
- Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs (Q995752) (← links)
- A pumping lemma for real-time deterministic context-free languages (Q1081309) (← links)
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Thin and Thick Timed Regular Languages (Q3172847) (← links)
- Timed Pushdown Automata Revisited (Q4635851) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)