research
∙
08/29/2017
Plausibility and probability in deductive reasoning
We consider the problem of rational uncertainty about unproven mathemati...
research
∙
01/13/2016
Analysis of Algorithms and Partial Algorithms
We present an alternative methodology for the analysis of algorithms, ba...
research
∙
01/11/2016