Pages that link to "Item:Q1130614"
From MaRDI portal
The following pages link to Computer programming and formal systems (Q1130614):
Displaying 7 items.
- The inclusion of the substitution closure of linear and one-counter languages in the largest sub-AFL of the family of algebraic languages is proper (Q1227278) (← links)
- The upper density of an automatic set is rational (Q2211032) (← links)
- Subrecursive programming languages. II. On program size (Q2546770) (← links)
- Relevance of computer science to linguistics and vice versa (Q4055215) (← links)
- A consistent semantics of self-adjusting computation (Q5398334) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
