Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Growth rate of binary words avoiding xxxCurrie, James ; Rampersad, NaradTheoretical computer science, 2016-01, Vol.609, p.456-468 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidabilityDu, Chen Fei ; Mousavi, Hamoon ; Rowland, Eric ; Schaeffer, Luke ; Shallit, JeffreyTheoretical computer science, 2017-01, Vol.657, p.146-162 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Avoiding large squares in infinite binary wordsRampersad, Narad ; Shallit, Jeffrey ; Wang, Ming-weiTheoretical computer science, 2005-06, Vol.339 (1), p.19-34 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Probabilistic Process Algebra and Strategic InterleavingMiddelburg, CornelisScientific annals of computer science, 2020-01, Vol.30 (2), p.205-243 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental EvaluationDas, ShibsankarScientific annals of computer science, 2020-01, Vol.30 (1), p.39-67 [Periódico revisado por pares]Alexandru Ioan Cuza University of IasiTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Instruction Sequence Faults with Formal Change JustificationBergstra, JanScientific annals of computer science, 2020-01, Vol.30 (2), p.105-166 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Most General Algebraic Specifications for an Abstract Datatype of Rational NumbersBergstra, Jan AScientific annals of computer science, 2020-01, Vol.30 (1), p.1-24 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of SummationBergstra, JanScientific annals of computer science, 2020-01, Vol.30 (2), p.167-203 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Complete Axiomatisation for Probabilistic Trace EquivalenceTimmers, Ferry ; Groote, Jan FrisoScientific annals of computer science, 2020-01, Vol.30 (1), p.69-104 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite GraphsDas, ShibsankarScientific annals of computer science, 2020-01, Vol.30 (1), p.25-37 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |