Pages that link to "Item:Q2422040"
From MaRDI portal
The following pages link to Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable (Q2422040):
Displaying 4 items.
- General decidability results for asynchronous shared-memory programs: higher-order and beyond (Q2044219) (← links)
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (Q5060187) (← links)
- (Q5129945) (← links)
- Unboundedness problems for machines with reversal-bounded counters (Q6091196) (← links)