Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Exploiting a hypergraph model for finding Golomb rulersSorge, Manuel ; Moser, Hannes ; Niedermeier, Rolf ; Weller, MathiasActa informatica, 2014-10, Vol.51 (7), p.449-471 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Avoiding cross-bifix-free binary wordsBilotta, Stefano ; Grazzini, Elisabetta ; Pergola, Elisa ; Pinzani, RenzoActa informatica, 2013-05, Vol.50 (3), p.157-173 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Finding vertex-surjective graph homomorphismsGOLOVACH, Petr A ; LIDICKY, Bernard ; MARTIN, Barnaby ; PAULUSMA, DaniëlActa informatica, 2012-09, Vol.49 (6), p.381-394 [Periódico revisado por pares]Heidelberg: SpringerTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Least common container of tree pattern queries and its applicationsWang, Junhu ; Yu, Jeffrey Xu ; Pang, Chaoyi ; Liu, ChengfeiActa informatica, 2012-05, Vol.49 (3), p.173-202 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
MAT learners for tree series: an abstract data type and two realizationsDrewes, Frank ; Högberg, Johanna ; Maletti, AndreasActa informatica, 2011-05, Vol.48 (3), p.165-189 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Embedding mappings and splittings with applicationsBerghammer, Rudolf ; Winter, MichaelActa informatica, 2010-03, Vol.47 (2), p.77-110 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
On regular tree languages and deterministic pushdown automataJanoušek, Jan ; Melichar, BořivojActa informatica, 2009-11, Vol.46 (7), p.533-547 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Weighted height of random treesBroutin, N. ; Devroye, L. ; McLeish, E.Acta informatica, 2008-06, Vol.45 (4), p.237-277 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Linearly bounded infinite graphsCARAYOL, Arnaud ; MEYER, AntoineActa informatica, 2006-11, Vol.43 (4), p.265-292 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Solving HPP and SAT by P systems with active membranes and separation rulesLINQIANG PAN ; ALHAZOV, ArtiomActa informatica, 2006-08, Vol.43 (2), p.131-145 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |