The following pages link to (Q4130952):
Displaying 6 items.
- Parameter-reduction of higher level grammars (Q1099634) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- IO and OI. I (Q1241985) (← links)
- IO and OI. II (Q1243578) (← links)
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable (Q2422040) (← links)