skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: xxx: xxx remover Base de dados/Biblioteca: EZB Electronic Journals Library remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Growth rate of binary words avoiding xxx
Growth rate of binary words avoiding xxx
Material Type:
Artigo 		Adicionar ao Meu Espaço

Growth rate of binary words avoiding xxx

Currie, James ; Rampersad, Narad

Theoretical computer science, 2016-01, Vol.609, p.456-468 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability

Du, Chen Fei ; Mousavi, Hamoon ; Rowland, Eric ; Schaeffer, Luke ; Shallit, Jeffrey

Theoretical computer science, 2017-01, Vol.657, p.146-162 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Avoiding large squares in infinite binary words
Avoiding large squares in infinite binary words
Material Type:
Artigo 		Adicionar ao Meu Espaço

Avoiding large squares in infinite binary words

Rampersad, Narad ; Shallit, Jeffrey ; Wang, Ming-wei

Theoretical computer science, 2005-06, Vol.339 (1), p.19-34 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Probabilistic Process Algebra and Strategic Interleaving
Probabilistic Process Algebra and Strategic Interleaving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic Process Algebra and Strategic Interleaving

Middelburg, Cornelis

Scientific annals of computer science, 2020-01, Vol.30 (2), p.205-243 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
5
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation

Das, Shibsankar

Scientific annals of computer science, 2020-01, Vol.30 (1), p.39-67 [Periódico revisado por pares]

Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
6
Instruction Sequence Faults with Formal Change Justification
Instruction Sequence Faults with Formal Change Justification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Instruction Sequence Faults with Formal Change Justification

Bergstra, Jan

Scientific annals of computer science, 2020-01, Vol.30 (2), p.105-166 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
7
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers

Bergstra, Jan A

Scientific annals of computer science, 2020-01, Vol.30 (1), p.1-24 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
8
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation

Bergstra, Jan

Scientific annals of computer science, 2020-01, Vol.30 (2), p.167-203 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
9
A Complete Axiomatisation for Probabilistic Trace Equivalence
A Complete Axiomatisation for Probabilistic Trace Equivalence
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Complete Axiomatisation for Probabilistic Trace Equivalence

Timmers, Ferry ; Groote, Jan Friso

Scientific annals of computer science, 2020-01, Vol.30 (1), p.69-104 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
10
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs

Das, Shibsankar

Scientific annals of computer science, 2020-01, Vol.30 (1), p.25-37 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

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.   

Mostrar Somente

  1. Recursos Online (178)
  2. Revistas revisadas por pares (109)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (157)
  2. Anais de Congresso  (32)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (5)
  2. 2003Até2008  (8)
  3. 2009Até2012  (20)
  4. 2013Até2017  (66)
  5. Após 2017  (91)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.