Search the dblp DataBase

Publications of Author

1. Newton C. A. da Costa, Francisco A. Doria
   On Arnold's Hilbert Symposium Problems. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1993, pp:152-158 [Conf]
   
2. Newton C. A. da Costa, Francisco A. Doria
   H-Computation (Abstract). [Citation Graph (0, 0)][DBLP]
   SBIA, 1996, pp:238- [Conf]
   
3. Newton C. A. da Costa, Francisco A. Doria
   On the existence of certain total recursive functions in nontrivial axiom systems, I [Citation Graph (0, 0)][DBLP]
   CoRR, 1998, v:0, n:, pp:- [Journal]
   
4. Newton C. A. da Costa, Francisco A. Doria
   Undecidability, incompleteness and the Arnol'd problems. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1995, v:55, n:1, pp:23-32 [Journal]
   
5. Newton C. A. da Costa, Francisco A. Doria
   On Jaskowski's discussive logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1995, v:54, n:1, pp:33-60 [Journal]
   
6. Newton C. A. da Costa, Francisco A. Doria
   Addendum to "Consequences of an exotic formulation for P. [Citation Graph (0, 0)][DBLP]
   Applied Mathematics and Computation, 2006, v:172, n:2, pp:1364-1367 [Journal]
   
7. Francisco A. Doria, José Félix Costa
   Introduction to the special issue on hypercomputation. [Citation Graph (0, 0)][DBLP]
   Applied Mathematics and Computation, 2006, v:178, n:1, pp:1-3 [Journal]
   
8. Newton C. A. da Costa, Francisco A. Doria
   Some thoughts on hypercomputation. [Citation Graph (0, 0)][DBLP]
   Applied Mathematics and Computation, 2006, v:178, n:1, pp:83-92 [Journal]
   
9. Newton C. A. da Costa, Francisco A. Doria, N. Papavero
   Meinong's Theory of Objects and Hilbert's epsilon-Symbol. [Citation Graph (0, 0)][DBLP]
   Reports on Mathematical Logic, 1991, v:25, n:, pp:- [Journal]