The following pages link to (Q4251045):
Displaying 10 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- A descriptive complexity approach to the linear hierarchy. (Q1401413) (← links)
- Determinism versus nondeterminism for linear time RAMs with memory restrictions (Q1869934) (← links)
- All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs (Q2914369) (← links)
- (Q3486864) (← links)
- (Q4520496) (← links)
- Algebraic and logical characterizations of deterministic linear time classes (Q5048946) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- The Density of Linear-Time Properties (Q5096080) (← links)
- Logical Approaches to Computational Barriers (Q5898853) (← links)