Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Scheduling with timed automataAbdeddaı¨m, Yasmina ; Asarin, Eugene ; Maler, OdedTheoretical computer science, 2006-01, Vol.354 (2), p.272-300 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
On the computational power of self-stabilizing systemsAbello, James ; Dolev, ShlomiTheoretical computer science, 1997-08, Vol.182 (1), p.159-170 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
On BPP versus [formula omitted] for ordered read-once branching programsAblayev, Farid ; Karpinski, Marek ; Mubarakzjanov, RustamTheoretical computer science, 2001, Vol.264 (1), p.127-137 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
On the mutual-exclusion problem — a quest for minimal solutionsAbraham, Uri ; Magidor, MenachemTheoretical computer science, 1994-06, Vol.129 (1), p.1-38 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Algorithmic networks: Central time to trigger expected emergent open-endednessAbrahão, Felipe S. ; Wehmuth, Klaus ; Ziviani, ArturTheoretical computer science, 2019-09, Vol.785, p.83-116 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
A structural approach to reversible computationAbramsky, SamsonTheoretical computer science, 2005-12, Vol.347 (3), p.441-464 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The max-plus algebra of the natural numbers has no finite equational basis: Max-plus algebrasACETO, Luca ; ESIK, Zoltan ; INGOLFSDOTTIR, AnnaTheoretical computer science, 2003, Vol.293 (1), p.169-188 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Equational theories of tropical semiringsAceto, Luca ; Ésik, Zoltán ; Ingólfsdóttir, AnnaTheoretical computer science, 2003-04, Vol.298 (3), p.417-469 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A functional correspondence between monadic evaluators and abstract machines for languages with computational effectsAger, Mads Sig ; Danvy, Olivier ; Midtgaard, JanTheoretical computer science, 2005-09, Vol.342 (1), p.149-172 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Polyomino tilings, cellular automata and codicityAigrain, Philippe ; Beauquier, DaniéleTheoretical computer science, 1995-08, Vol.147 (1), p.165-180 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |