The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Newton C. A. da Costa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian
    Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. [Citation Graph (1, 0)][DBLP]
    CADE, 1990, pp:72-86 [Conf]
  2. James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa
    Reasoning in Paraconsistent Logics. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:181-210 [Conf]
  3. 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]
  4. Newton C. A. da Costa, Francisco A. Doria
    H-Computation (Abstract). [Citation Graph (0, 0)][DBLP]
    SBIA, 1996, pp:238- [Conf]
  5. 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]
  6. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa
    Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:884-892 [Journal]
  7. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:1, pp:180-190 [Journal]
  8. Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. da Costa, Rolando Chuaqui
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:352-364 [Journal]
  9. Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco
    Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1430-1440 [Journal]
  10. Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui
    Pragmatic Truth and Approximation to Truth. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:201-221 [Journal]
  11. Newton C. A. da Costa, Décio Krause
    An Intenstional Schrödinger Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:179-194 [Journal]
  12. 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]
  13. 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]
  14. Newton C. A. da Costa, Décio Krause
    Schrödinger logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:4, pp:533-550 [Journal]
  15. 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]
  16. 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]
  17. 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]

Search in 0.013secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002