skip to main content
Idioma:
previous page 1 Resultados 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
11
On the undecidability of finite planar cubic graphs
On the undecidability of finite planar cubic graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the undecidability of finite planar cubic graphs

Garfunkel, Solomon ; Shank, Herbert

The Journal of symbolic logic, 1972-09, Vol.37 (3), p.595-597 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
12
Many-one degrees associated with problems of tag
Many-one degrees associated with problems of tag
Material Type:
Artigo 		Adicionar ao Meu Espaço

Many-one degrees associated with problems of tag

Hughes, C. E.

The Journal of symbolic logic, 1973-03, Vol.38 (1), p.1-17 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
13
The decision problem for formulas with a small number of atomic subformulas
The decision problem for formulas with a small number of atomic subformulas
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decision problem for formulas with a small number of atomic subformulas

Lewis, Harry R. ; Goldfarb, Warren D.

The Journal of symbolic logic, 1973-09, Vol.38 (3), p.471-480 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
14
Turing machines and the spectra of first-order formulas
Turing machines and the spectra of first-order formulas
Material Type:
Artigo 		Adicionar ao Meu Espaço

Turing machines and the spectra of first-order formulas

Jones, Neil D. ; Selman, Alan L.

The Journal of symbolic logic, 1974-03, Vol.39 (1), p.139-150 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
15
A decision procedure using the geometry of convex sets
A decision procedure using the geometry of convex sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

A decision procedure using the geometry of convex sets

Aitchison, Peter W. ; Herman, Gabor T.

Mathematika, 1974-12, Vol.21 (2), p.199-206 [Periódico revisado por pares]

London, UK: London Mathematical Society

Texto completo disponível

Citações Citado por
16
A survey of partial degrees
A survey of partial degrees
Material Type:
Artigo 		Adicionar ao Meu Espaço

A survey of partial degrees

Sasso, Leonard P.

The Journal of symbolic logic, 1975-06, Vol.40 (2), p.130-140 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
17
“Helping”: several formalizations
“Helping”: several formalizations
Material Type:
Artigo 		Adicionar ao Meu Espaço

“Helping”: several formalizations

Lynch, Nancy

The Journal of symbolic logic, 1975-12, Vol.40 (4), p.555-566 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
18
The relative efficiency of propositional proof systems
The relative efficiency of propositional proof systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The relative efficiency of propositional proof systems

Cook, Stephen A. ; Reckhow, Robert A.

The Journal of symbolic logic, 1979-03, Vol.44 (1), p.36-50 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
19
Two-dimensional partial orderings: Undecidability
Two-dimensional partial orderings: Undecidability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two-dimensional partial orderings: Undecidability

Manaster, Alfred B. ; Rosenstein, Joseph G.

The Journal of symbolic logic, 1980-03, Vol.45 (1), p.133-143 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
20
Degree problems for modular machines
Degree problems for modular machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Degree problems for modular machines

Cohen, Daniel E.

The Journal of symbolic logic, 1980-09, Vol.45 (3), p.510-528 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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.