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
Infinite behaviour of Petri nets
Infinite behaviour of Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Infinite behaviour of Petri nets

Valk, Rüdiger

Theoretical computer science, 1983, Vol.25 (3), p.311-341 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Automata and currency
Automata and currency
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automata and currency

PRIESE, L

Theoretical computer science, 1983, Vol.25 (3), p.221-265 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

Citações Citado por
3
The time-precision tradeoff problem on on-line probabilistic Turing machines
The time-precision tradeoff problem on on-line probabilistic Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

The time-precision tradeoff problem on on-line probabilistic Turing machines

Watanabe, Osamu

Theoretical computer science, 1983, Vol.24 (1), p.105-117 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
A relationship between two-dimensional finite automata and three-way tape-bounded two-dimensional Turing machines
A relationship between two-dimensional finite automata and three-way tape-bounded two-dimensional Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

A relationship between two-dimensional finite automata and three-way tape-bounded two-dimensional Turing machines

Inoue, Katsushi ; Takanami, Itsuo ; Taniguchi, Hiroshi

Theoretical computer science, 1983, Vol.24 (3), p.331-336 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Real functions and numbers defined by Turing machines
Real functions and numbers defined by Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Real functions and numbers defined by Turing machines

Freund, Rudolf

Theoretical computer science, 1983-01, Vol.23 (3), p.287-304 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
A natural encoding scheme proved probabilistic polynomial complete
A natural encoding scheme proved probabilistic polynomial complete
Material Type:
Artigo 		Adicionar ao Meu Espaço

A natural encoding scheme proved probabilistic polynomial complete

Vazirani, Umesh V. ; Vazirani, Vijay V.

Theoretical computer science, 1983-01, Vol.24 (3), p.291-300 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
The inclusion problem for some classes of deterministic multitape automata
The inclusion problem for some classes of deterministic multitape automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

The inclusion problem for some classes of deterministic multitape automata

Kinber, E.B.

Theoretical computer science, 1983-01, Vol.26 (1), p.1-24 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
A Turing machine time hierarchy
A Turing machine time hierarchy
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Turing machine time hierarchy

ZAK, S

Theoretical computer science, 1983-01, Vol.26 (3), p.327-333 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
On Gödel speed-up and succinctness of language representations
On Gödel speed-up and succinctness of language representations
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Gödel speed-up and succinctness of language representations

Hartmanis, J.

Theoretical computer science, 1983-01, Vol.26 (3), p.335-342 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories
Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories

Volger, Hugo

Theoretical computer science, 1983-01, Vol.23 (3), p.333-337 [Periódico revisado por pares]

Amsterdam: 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 de1990  (95)
  2. 1990Até1999  (224)
  3. 2000Até2007  (513)
  4. 2008Até2016  (74)
  5. Após 2016  (13)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (910)
  2. Japonês  (36)
  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.