Computer Science – Computation and Language
Scientist
Computer Science
Computation and Language
Scientist
Federal University at Rio de Janeiro
A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines
On a total function which overtakes all total recursive functions
On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment
On the existence of certain total recursive functions in nontrivial axiom systems, I
The Atiyah-Singer index theorem and the gauge field copy problem
No associations
LandOfFree
Francisco A. Doria does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Francisco A. Doria, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Francisco A. Doria will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-15827