Newton C. A. da Costa

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Francisco A. Doria

> Home > Persons > Newton C. A. da Costa

Publications

2009
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/CostaD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/CostaD09
Newton C. A. da Costa, Francisco A. Doria:
How to build a hypercomputer. Appl. Math. Comput. 215(4): 1361-1367 (2009)
2007
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/CostaDB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/CostaDB07
Newton C. A. da Costa, Francisco A. Doria, Eric Bir:
On the metamathematics of the P vs. NP question. Appl. Math. Comput. 189(2): 1223-1240 (2007)
2006
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/CostaD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/CostaD06
Newton C. A. da Costa, Francisco A. Doria:
Addendum to "Consequences of an exotic formulation for P. Appl. Math. Comput. 172(2): 1364-1367 (2006)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/CostaD06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/CostaD06a
Newton C. A. da Costa, Francisco A. Doria:
Some thoughts on hypercomputation. Appl. Math. Comput. 178(1): 83-92 (2006)
2003
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/CostaD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/CostaD03
Newton C. A. da Costa, Francisco A. Doria:
Consequences of an exotic definition for P=NP. Appl. Math. Comput. 145(2-3): 655-665 (2003)
1998
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/TsujiCD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/TsujiCD98
Marcelo Tsuji, Newton C. A. da Costa, Francisco A. Doria:
The Incompleteness of Theories of Games. J. Philos. Log. 27(6): 553-568 (1998)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cmp-lg-9804005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cmp-lg-9804005
Newton C. A. da Costa, Francisco A. Doria:
On the existence of certain total recursive functions in nontrivial axiom systems, I. CoRR cmp-lg/9804005 (1998)
1996
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sbia/CostaD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbia/CostaD96
Newton C. A. da Costa, Francisco A. Doria:
H-Computation (Abstract). SBIA 1996: 238
1995
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/complexity/CostaD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/complexity/CostaD95
Newton C. A. da Costa, Francisco A. Doria:
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Complex. 1(3): 40-55 (1995)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/CostaD95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/CostaD95a
Newton C. A. da Costa, Francisco A. Doria:
On Jaskowski's discussive logic. Stud Logica 54(1): 33-60 (1995)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/CostaD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/CostaD95
Newton C. A. da Costa, Francisco A. Doria:
Undecidability, incompleteness and the Arnol'd problems. Stud Logica 55(1): 23-32 (1995)
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kgc/CostaD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kgc/CostaD93
Newton C. A. da Costa, Francisco A. Doria:
On Arnold's Hilbert Symposium Problems. Kurt Gödel Colloquium 1993: 152-158
1991
[j13]
- view
  - electronic edition @ uj.edu.pl (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rml/CostaDP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rml/CostaDP91
Newton C. A. da Costa, Francisco A. Doria, N. Papavero:
Meinong's Theory of Objects and Hilbert's epsilon-Symbol. Reports Math. Log. 25 (1991)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.