skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Exploiting a hypergraph model for finding Golomb rulers
Material Type:
Artigo
Adicionar ao Meu Espaço

Exploiting a hypergraph model for finding Golomb rulers

Sorge, Manuel ; Moser, Hannes ; Niedermeier, Rolf ; Weller, Mathias

Acta informatica, 2014-10, Vol.51 (7), p.449-471 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Avoiding cross-bifix-free binary words
Material Type:
Artigo
Adicionar ao Meu Espaço

Avoiding cross-bifix-free binary words

Bilotta, Stefano ; Grazzini, Elisabetta ; Pergola, Elisa ; Pinzani, Renzo

Acta informatica, 2013-05, Vol.50 (3), p.157-173 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

3
Finding vertex-surjective graph homomorphisms
Material Type:
Artigo
Adicionar ao Meu Espaço

Finding vertex-surjective graph homomorphisms

GOLOVACH, Petr A ; LIDICKY, Bernard ; MARTIN, Barnaby ; PAULUSMA, Daniël

Acta informatica, 2012-09, Vol.49 (6), p.381-394 [Periódico revisado por pares]

Heidelberg: Springer

Texto completo disponível

4
Least common container of tree pattern queries and its applications
Material Type:
Artigo
Adicionar ao Meu Espaço

Least common container of tree pattern queries and its applications

Wang, Junhu ; Yu, Jeffrey Xu ; Pang, Chaoyi ; Liu, Chengfei

Acta informatica, 2012-05, Vol.49 (3), p.173-202 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

5
MAT learners for tree series: an abstract data type and two realizations
Material Type:
Artigo
Adicionar ao Meu Espaço

MAT learners for tree series: an abstract data type and two realizations

Drewes, Frank ; Högberg, Johanna ; Maletti, Andreas

Acta informatica, 2011-05, Vol.48 (3), p.165-189 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

6
Embedding mappings and splittings with applications
Material Type:
Artigo
Adicionar ao Meu Espaço

Embedding mappings and splittings with applications

Berghammer, Rudolf ; Winter, Michael

Acta informatica, 2010-03, Vol.47 (2), p.77-110 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

7
On regular tree languages and deterministic pushdown automata
Material Type:
Artigo
Adicionar ao Meu Espaço

On regular tree languages and deterministic pushdown automata

Janoušek, Jan ; Melichar, Bořivoj

Acta informatica, 2009-11, Vol.46 (7), p.533-547 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

8
Weighted height of random trees
Material Type:
Artigo
Adicionar ao Meu Espaço

Weighted height of random trees

Broutin, N. ; Devroye, L. ; McLeish, E.

Acta informatica, 2008-06, Vol.45 (4), p.237-277 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

9
Linearly bounded infinite graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Linearly bounded infinite graphs

CARAYOL, Arnaud ; MEYER, Antoine

Acta informatica, 2006-11, Vol.43 (4), p.265-292 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

10
Solving HPP and SAT by P systems with active membranes and separation rules
Material Type:
Artigo
Adicionar ao Meu Espaço

Solving HPP and SAT by P systems with active membranes and separation rules

LINQIANG PAN ; ALHAZOV, Artiom

Acta informatica, 2006-08, Vol.43 (2), p.131-145 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Resultados 1 2 next page

Buscando em bases de dados remotas. Favor aguardar.