The following pages link to (Q4766569):
Displayed 6 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- Finiteness is mu-ineffable (Q1236111) (← links)
- Translatability of schemas over restricted interpretations (Q1844072) (← links)
- Relative complexity of algebras (Q3928239) (← links)