most citedOn the existence of truly autonomic computing systems and the link with quantum computing

4 citations · 5 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2005★ 1 cited

Foundations of real analysis and computability theory in non-Aristotelian finitary logic

Radhakrishnan Srinivasan, H. P. Raghunandan

This paper outlines new paradigms for real analysis and computability theory in the recently proposed non-Aristotelian finitary logic (NAFL). Constructive real analysis in NAFL (NR…