The following pages link to Computer Science Logic (Q5394595):
Displaying 9 items.
- Towards computability of elliptic boundary value problems in variational formulation (Q864435) (← links)
- (Q4281259) (← links)
- (Q4580318) (← links)
- On Computable Compact Operators on Banach Spaces (Q4921451) (← links)
- The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis (Q5028319) (← links)
- Computability Beyond Church-Turing via Choice Sequences (Q5145297) (← links)
- (Q5155677) (← links)
- Computability of compact operators on computable Banach spaces with bases (Q5307605) (← links)
- Computer Science for Continuous Data (Q6487409) (← links)