The following pages link to (Q3623551):
Displaying 9 items.
- Computational and attribute models of formal languages (Q912638) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Formal theories and linguistic descriptions. (Q1428681) (← links)
- Representing structural language features in formal meta-languages (Q2219401) (← links)
- Implications between generative properties and analytical properties of formal languages (Q2754533) (← links)
- A mathematical approximation of data types. (Q2756020) (← links)
- Toward complete programming language descriptions that are both formal and understandable (Q3314961) (← links)
- (Q3995229) (← links)
- (Q4459097) (← links)