skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Turing Machines remover Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Survey of Regular Expressions and Their Applications
A Survey of Regular Expressions and Their Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of Regular Expressions and Their Applications

Brzozowski, Janusz A.

IRE transactions on electronic computers, 1962-06, Vol.EC-11 (3), p.324-335

IEEE

Texto completo disponível

Citações Citado por
2
Limiting recursion
Limiting recursion
Material Type:
Artigo 		Adicionar ao Meu Espaço

Limiting recursion

Gold, E. Mark

The Journal of symbolic logic, 1965-03, Vol.30 (1), p.28-48 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
3
The undecidability of the Turing machine immortality problem
The undecidability of the Turing machine immortality problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

The undecidability of the Turing machine immortality problem

Hooper, Philip K.

The Journal of symbolic logic, 1966-06, Vol.31 (2), p.219-234 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
4
Reviews of Books and Papers in the Computer Field
Reviews of Books and Papers in the Computer Field
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reviews of Books and Papers in the Computer Field

Tracey, J. H.

IEEE Transactions on Electronic Computers, 1967-04, Vol.EC-16 (2), p.234-242

IEEE

Texto completo disponível

Citações Citado por
5
A simple solution of the uniform halting problem
A simple solution of the uniform halting problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A simple solution of the uniform halting problem

Herman, Gabor T.

The Journal of symbolic logic, 1969-01, Vol.34 (4), p.639-640 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Combinatory logic with discriminators
Combinatory logic with discriminators
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combinatory logic with discriminators

Kearns, John T.

The Journal of symbolic logic, 1969-01, Vol.34 (4), p.561-575 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
7
On primitive recursive permutations and their inverses
On primitive recursive permutations and their inverses
Material Type:
Artigo 		Adicionar ao Meu Espaço

On primitive recursive permutations and their inverses

Cannonito, Frank B. ; Finkelstein, Mark

The Journal of symbolic logic, 1969-01, Vol.34 (4), p.634-638 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
8
Recursively enumerable sets which are uniform for finite extensions
Recursively enumerable sets which are uniform for finite extensions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Recursively enumerable sets which are uniform for finite extensions

Alton, Donald A.

The Journal of symbolic logic, 1971-06, Vol.36 (2), p.271-287 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
9
Decision problems for tag systems
Decision problems for tag systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision problems for tag systems

Aanderaa, Stål ; Belsnes, Dag

The Journal of symbolic logic, 1971-06, Vol.36 (2), p.229-239 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
10
Computational speed-up by effective operators
Computational speed-up by effective operators
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computational speed-up by effective operators

Meyer, Albert R. ; Fischer, Patrick C.

The Journal of symbolic logic, 1972-03, Vol.37 (1), p.55-68 [Periódico revisado por pares]

New York, USA: Cambridge University Press

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 (166)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (231)
  2. Anais de Congresso  (55)
  3. magazinearticle  (4)
  4. Book Chapters  (4)
  5. Livros  (3)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1975  (16)
  2. 1975Até1990  (16)
  3. 1991Até2000  (63)
  4. 2001Até2011  (78)
  5. Após 2011  (126)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (296)
  2. Japonês  (14)
  3. Chinês  (1)
  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.