Journals in DBLP
Joachim Apel Computational ideal theory in finitely generated extension rings. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:1-33 [Journal ] Jung-Heum Park , Kyung-Yong Chwa Recursive circulants and their embeddings among hypercubes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:35-62 [Journal ] Bruno Courcelle The monadic second-order logic of graphs XIII: Graph drawings with edge crossings. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:63-94 [Journal ] Oya Ekin , Peter L. Hammer , Alexander Kogan Convexity and logical analysis of data. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:95-116 [Journal ] Juha Honkala On D0L power series. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:117-134 [Journal ] Matthias Ott , Frank Stephan Structural measures for games and process control in the branch learning model. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:135-165 [Journal ] Hans L. Bodlaender , Michael R. Fellows , Michael T. Hallett , Todd Wareham , Tandy Warnow The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:167-188 [Journal ] Peter Jonsson Boolean constraint satisfaction: complexity results for optimization problems with arbitrary weights. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:189-203 [Journal ] Lane A. Hemaspaandra , Jörg Rothe A second step towards complexity-theoretic analogs of Rice's Theorem. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:205-217 [Journal ] Gianpiero Cattaneo , Michele Finelli , Luciano Margara Investigating topological chaos by elementary cellular automata dynamics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:219-241 [Journal ] Zsuzsanna Róka The firing squad synchronization problem on Cayley graphs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:243-256 [Journal ] Lane A. Hemaspaandra , Jörg Rothe Characterizing the existence of one-way permutations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:257-261 [Journal ] Eric Kern , Maurice Mignotte Applications of the representation of finite fields by matrices. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:263-265 [Journal ] Juha Honkala A short solution for the HDT0L sequence equivalence problem. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:267-270 [Journal ] Michel Rigo Generalization of automatic sequences for numeration systems on a regular language. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:271-281 [Journal ] Dieter van Melkebeek The zero-one law holds for BPP. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:283-288 [Journal ] Jozef Kelemen , Alica Kelemenová , Carlos Martín-Vide , Victor Mitrana Colonies with limited activation of components. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:244, n:1-2, pp:289-298 [Journal ]