The following pages link to Barry E. Jacobs (Q1240231):
Displayed 9 items.
- \(\alpha\)-naming and \(\alpha\)-speedup theorems (Q1240232) (← links)
- (Q3914961) (← links)
- On interpretations of relational languages and solutions to the implied constraint problem (Q3933796) (← links)
- On the family of generalized dependency constraints (Q3956434) (← links)
- On Database Logic (Q3962497) (← links)
- Degrees of Non α‐Speedable Sets (Q3968918) (← links)
- <i>α</i>-Speedable and non <i>α</i>-Speedable Sets (Q4145696) (← links)
- The α-Union Theorem and Generalized Primitive Recursion (Q4159041) (← links)
- On generalized computational complexity (Q4163200) (← links)