skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines
Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines

Vitányi, Paul M.B.

Theoretical computer science, 2019-07, Vol.778, p.78-80 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
A nondeterministic Turing machine variant to compute functions
A nondeterministic Turing machine variant to compute functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

A nondeterministic Turing machine variant to compute functions

Colombo, João Guilherme Fritsche ; Marchi, Jerusa

Theoretical computer science, 2022-01, Vol.902, p.54-63 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
On simulating Turing machines with matrix semigroups with integrality tests
On simulating Turing machines with matrix semigroups with integrality tests
Material Type:
Artigo 		Adicionar ao Meu Espaço

On simulating Turing machines with matrix semigroups with integrality tests

Halava, Vesa ; Niskanen, Reino

Theoretical computer science, 2024-07, Vol.1005, p.114637, Article 114637 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
A compiler for multi-key homomorphic signatures for Turing machines
A compiler for multi-key homomorphic signatures for Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

A compiler for multi-key homomorphic signatures for Turing machines

Dolatnezhad Samarin, Somayeh ; Fiore, Dario ; Venturi, Daniele ; Amini, Morteza

Theoretical computer science, 2021-10, Vol.889, p.145-170 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
A formalization of multi-tape Turing machines
A formalization of multi-tape Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formalization of multi-tape Turing machines

Asperti, Andrea ; Ricciotti, Wilmer

Theoretical computer science, 2015-10, Vol.603, p.23-42 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Theory of one-tape linear-time Turing machines
Theory of one-tape linear-time Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theory of one-tape linear-time Turing machines

Tadaki, Kohtaro ; Yamakami, Tomoyuki ; Lin, Jack C.H.

Theoretical computer science, 2010, Vol.411 (1), p.22-43 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Turing machines with two-level memory: New computational models for analyzing the input/output complexity
Turing machines with two-level memory: New computational models for analyzing the input/output complexity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Turing machines with two-level memory: New computational models for analyzing the input/output complexity

Ma, Hengzhao ; Li, Jianzhong ; Gao, Tianpeng ; Gao, Xiangyu

Theoretical computer science, 2024-02, Vol.985, p.114347, Article 114347 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Verifying time complexity of Turing machines
Verifying time complexity of Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying time complexity of Turing machines

Gajser, David

Theoretical computer science, 2015-10, Vol.600, p.86-97 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Depth-two P systems can simulate Turing machines with NP oracles
Depth-two P systems can simulate Turing machines with NP oracles
Material Type:
Artigo 		Adicionar ao Meu Espaço

Depth-two P systems can simulate Turing machines with NP oracles

Leporati, Alberto ; Manzoni, Luca ; Mauri, Giancarlo ; Zandron, Claudio

Theoretical computer science, 2022-03, Vol.908, p.43-55 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Perennial secure multi-party computation of universal Turing machine
Perennial secure multi-party computation of universal Turing machine
Material Type:
Artigo 		Adicionar ao Meu Espaço

Perennial secure multi-party computation of universal Turing machine

Dolev, Shlomi ; Garay, Juan A. ; Gilboa, Niv ; Kolesnikov, Vladimir ; Kumaramangalam, Muni Venkateswarlu

Theoretical computer science, 2019-05, Vol.769, p.43-62 [Periódico revisado por pares]

Elsevier B.V

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.   

Data de Publicação 

De até
Refinar
  1. Antes de1985  (50)
  2. 1985Até1994  (224)
  3. 1995Até2004  (528)
  4. 2005Até2015  (290)
  5. Após 2015  (60)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.144)
  2. Japonês  (44)
  3. Francês  (11)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.