skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: Nome da Publicação: Information Processing Letters remover assunto: Theory Of Computation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Robust parametric reachability for timed automata
Robust parametric reachability for timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust parametric reachability for timed automata

Doyen, Laurent

Information processing letters, 2007-05, Vol.102 (5), p.208-213 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
The probability of “undefined” (non-converging) output in generating the universal probability distribution
The probability of “undefined” (non-converging) output in generating the universal probability distribution
Material Type:
Artigo 		Adicionar ao Meu Espaço

The probability of “undefined” (non-converging) output in generating the universal probability distribution

Solomonoff, Ray J.

Information processing letters, 2008-06, Vol.106 (6), p.238-240 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Decision problems for Turing machines
Decision problems for Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision problems for Turing machines

Finkel, Olivier ; Lecomte, Dominique

Information processing letters, 2009-11, Vol.109 (23), p.1223-1226 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
P systems without multiplicities of symbol-objects
P systems without multiplicities of symbol-objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

P systems without multiplicities of symbol-objects

Alhazov, Artiom

Information processing letters, 2006-11, Vol.100 (3), p.124-129 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Simulation of simultaneous safe recursion over an arbitrary structure
Simulation of simultaneous safe recursion over an arbitrary structure
Material Type:
Artigo 		Adicionar ao Meu Espaço

Simulation of simultaneous safe recursion over an arbitrary structure

Xirotiri, Olga

Information processing letters, 2006-07, Vol.99 (2), p.72-81 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
On the complexity of interactive proofs with bounded communication
On the complexity of interactive proofs with bounded communication
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the complexity of interactive proofs with bounded communication

Goldreich, Oded ; Håstad, Johan

Information processing letters, 1998-08, Vol.67 (4), p.205-214 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
NQPC = co-C=P
NQPC = co-C=P
Material Type:
Artigo 		Adicionar ao Meu Espaço

NQPC = co-C=P

YAMAKAMI, T ; YAO, A. C

Information processing letters, 1999-07, Vol.71 (2), p.63-69 [Periódico revisado por pares]

Amsterdam: Elsevier Science

Texto completo disponível

Citações Citado por
8
Counter machines
Counter machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Counter machines

Wojna, Arkadiusz

Information processing letters, 1999-09, Vol.71 (5), p.193-197 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Ergodicity of linear cellular automata over Zm
Ergodicity of linear cellular automata over Zm
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ergodicity of linear cellular automata over Zm

SATO, T

Information processing letters, 1997-02, Vol.61 (3), p.169-172 [Periódico revisado por pares]

Amsterdam: Elsevier Science

Texto completo disponível

Citações Citado por
10
How rich is the structure of the intrinsic complexity of learning
How rich is the structure of the intrinsic complexity of learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

How rich is the structure of the intrinsic complexity of learning

Ambainis, Andris

Information processing letters, 2000-08, Vol.75 (3), p.109-112 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.