skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Information And Computation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Unbounded-error quantum computation with small space bounds
Unbounded-error quantum computation with small space bounds
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unbounded-error quantum computation with small space bounds

Yakaryılmaz, Abuzer ; Say, A.C. Cem

Information and computation, 2011-06, Vol.209 (6), p.873-892 [Periódico revisado por pares]

Amsterdam: Elsevier Inc

Texto completo disponível

Citações Citado por
2
Hybrid I/O automata
Hybrid I/O automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid I/O automata

Lynch, Nancy ; Segala, Roberto ; Vaandrager, Frits

Information and computation, 2003-08, Vol.185 (1), p.105-157 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
3
Turing machines, transition systems, and interaction
Turing machines, transition systems, and interaction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Turing machines, transition systems, and interaction

Goldin, Dina Q. ; Smolka, Scott A. ; Attie, Paul C. ; Sonderegger, Elaine L.

Information and computation, 2004-11, Vol.194 (2), p.101-128 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
4
Pushdown Processes: Games and Model-Checking
Pushdown Processes: Games and Model-Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Pushdown Processes: Games and Model-Checking

Walukiewicz, Igor

Information and computation, 2001-01, Vol.164 (2), p.234-263 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
5
Verification of programs with half-duplex communication
Verification of programs with half-duplex communication
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of programs with half-duplex communication

Cécé, Gérard ; Finkel, Alain

Information and computation, 2005-11, Vol.202 (2), p.166-190 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
6
Model checking LTL with regular valuations for pushdown systems
Model checking LTL with regular valuations for pushdown systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model checking LTL with regular valuations for pushdown systems

Esparza, Javier ; Kučera, Antonı́n ; Schwoon, Stefan

Information and computation, 2003-11, Vol.186 (2), p.355-376 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
7
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Genest, Blaise ; Kuske, Dietrich ; Muscholl, Anca

Information and computation, 2006, Vol.204 (6), p.920-956 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

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

Boolean grammars

Okhotin, Alexander

Information and computation, 2004-10, Vol.194 (1), p.19-48 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
9
A theory of regular MSC languages
A theory of regular MSC languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

A theory of regular MSC languages

Henriksen, Jesper G. ; Mukund, Madhavan ; Kumar, K. Narayan ; Sohoni, Milind ; Thiagarajan, P.S.

Information and computation, 2005-10, Vol.202 (1), p.1-38 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
10
Natural halting probabilities, partial randomness, and zeta functions
Natural halting probabilities, partial randomness, and zeta functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Natural halting probabilities, partial randomness, and zeta functions

Calude, Cristian S. ; Stay, Michael A.

Information and computation, 2006-11, Vol.204 (11), p.1718-1739 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

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.   

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

Buscando em bases de dados remotas. Favor aguardar.