Search the dblp DataBase
Newton C. A. da Costa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - Newton C. A. da Costa, Francisco A. Doria
H-Computation (Abstract). [Citation Graph (0, 0)][DBLP]
SBIA, 1996, pp:238- [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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.022secs, Finished in 0.023secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002