4 citations · 5 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2004★ 4 cited
On the existence of truly autonomic computing systems and the link with quantum computing
Radhakrishnan Srinivasan, H. P. Raghunandan
A theoretical model of truly autonomic computing systems (ACS), with infinitely many constraints, is proposed. An argument similar to Turing's for the unsolvability of the halting…