skip to main content
Idioma:
Refinado por: Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Scheduling with timed automata
Scheduling with timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Scheduling with timed automata

Abdeddaı¨m, Yasmina ; Asarin, Eugene ; Maler, Oded

Theoretical computer science, 2006-01, Vol.354 (2), p.272-300 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
On the mutual-exclusion problem — a quest for minimal solutions
On the mutual-exclusion problem — a quest for minimal solutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the mutual-exclusion problem — a quest for minimal solutions

Abraham, Uri ; Magidor, Menachem

Theoretical computer science, 1994-06, Vol.129 (1), p.1-38 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Algorithmic networks: Central time to trigger expected emergent open-endedness
Algorithmic networks: Central time to trigger expected emergent open-endedness
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algorithmic networks: Central time to trigger expected emergent open-endedness

Abrahão, Felipe S. ; Wehmuth, Klaus ; Ziviani, Artur

Theoretical computer science, 2019-09, Vol.785, p.83-116 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
A structural approach to reversible computation
A structural approach to reversible computation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A structural approach to reversible computation

Abramsky, Samson

Theoretical computer science, 2005-12, Vol.347 (3), p.441-464 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
The max-plus algebra of the natural numbers has no finite equational basis: Max-plus algebras
The max-plus algebra of the natural numbers has no finite equational basis: Max-plus algebras
Material Type:
Artigo 		Adicionar ao Meu Espaço

The max-plus algebra of the natural numbers has no finite equational basis: Max-plus algebras

ACETO, Luca ; ESIK, Zoltan ; INGOLFSDOTTIR, Anna

Theoretical computer science, 2003, Vol.293 (1), p.169-188 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

Citações Citado por
6
Equational theories of tropical semirings
Equational theories of tropical semirings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Equational theories of tropical semirings

Aceto, Luca ; Ésik, Zoltán ; Ingólfsdóttir, Anna

Theoretical computer science, 2003-04, Vol.298 (3), p.417-469 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
Material Type:
Artigo 		Adicionar ao Meu Espaço

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Ager, Mads Sig ; Danvy, Olivier ; Midtgaard, Jan

Theoretical computer science, 2005-09, Vol.342 (1), p.149-172 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Polyomino tilings, cellular automata and codicity
Polyomino tilings, cellular automata and codicity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polyomino tilings, cellular automata and codicity

Aigrain, Philippe ; Beauquier, Daniéle

Theoretical computer science, 1995-08, Vol.147 (1), p.165-180 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Equivalence of infinite behavior of finite automata
Equivalence of infinite behavior of finite automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Equivalence of infinite behavior of finite automata

Alaiwan, H.

Theoretical computer science, 1984, Vol.31 (3), p.297-306 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Regular closed sets of permutations
Regular closed sets of permutations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Regular closed sets of permutations

Albert, M.H. ; Atkinson, M.D. ; Ruškuc, N.

Theoretical computer science, 2003-09, Vol.306 (1-3), p.85-100 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por

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  (223)
  3. 2000Até2007  (510)
  4. 2008Até2016  (72)
  5. Após 2016  (13)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (904)
  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.