The following pages link to Decidability of code properties (Q2708960):
Displaying 6 items.
- On the maximality of languages with combined types of code properties (Q401313) (← links)
- Iterated function systems and control languages (Q1854440) (← links)
- Methods for relativizing properties of codes (Q2803046) (← links)
- Formal descriptions of code properties: decidability, complexity, implementation (Q2909182) (← links)
- (Q4608665) (← links)
- (Q4840170) (← links)