skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Dudenhefner, Andrej

arXiv.org, 2023-12 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Nondeterministic infinite time Turing machines
Nondeterministic infinite time Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nondeterministic infinite time Turing machines

Carmody, Erin

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Why the classes P and NP are not well-defined finitarily
Why the classes P and NP are not well-defined finitarily
Material Type:
Artigo 		Adicionar ao Meu Espaço

Why the classes P and NP are not well-defined finitarily

Anand, Bhupinder Singh

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
On Computability of Computable Problems
On Computability of Computable Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Computability of Computable Problems

Khaliq, Asad

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines
Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Welch, Philip

arXiv.org, 2020-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Computability in Dynamical Systems
Computability in Dynamical Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computability in Dynamical Systems

Burr, Michael ; Wolf, Christian

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
A note on the complexity of addition
A note on the complexity of addition
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note on the complexity of addition

Jeřábek, Emil

arXiv.org, 2023-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Effective Guessing Has Unlikely Consequences
Effective Guessing Has Unlikely Consequences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Effective Guessing Has Unlikely Consequences

Salamon, András Z ; Wehar, Michael

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
The Busy Beaver Competition: a historical survey
The Busy Beaver Competition: a historical survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Busy Beaver Competition: a historical survey

Michel, Pascal

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
mathbf{VDF} \subsetneq \mathbf{PSPACE}
mathbf{VDF} \subsetneq \mathbf{PSPACE}
Material Type:
Artigo 		Adicionar ao Meu Espaço

mathbf{VDF} \subsetneq \mathbf{PSPACE}

Sur, Souvik

arXiv.org, 2022-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.