Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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 |
|
3 |
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 |
|
4 |
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 |
|
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
|
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 |
|
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
|
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 |
|
9 |
Material Type: Artigo
|
Hybrid networks of evolutionary processors are computationally completeCSULLAJ-VARJU, Erzsébet ; MARTIN-VIDE, Carlos ; MITRANA, VictorActa informatica, 2005-03, Vol.41 (4-5), p.257-272 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
10 |
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 |