Journals in DBLP
Marina Madonia , Stefano Varricchio Some Decisional Problems on Rational Relations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:1-15 [Journal ] Vikraman Arvind , N. V. Vinodchandran Solvable Black-Box Group Problems are Low for PP. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:17-45 [Journal ] Kazuhisa Hosaka , Yasuhiko Takenaga , T. Kaneda , Shuzo Yajima Size of Ordered Binary Decision Diagrams Representing Threshold Functions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:47-60 [Journal ] Frédérique Bassino Nonnegative Companion Matrices and Star-Height of N -Rational Series. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:61-80 [Journal ] Emmanuelle Garel Séparateurs dans les mots infinis engendrés par morphismes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:81-113 [Journal ] Marie-France Sagot , Alain Viari , Henry Soldano Multiple Sequence Comparison - A Peptide Matching Approach. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:115-137 [Journal ] Hiroaki Yamamoto On the Power of Alternation on Reversal-Bounded Alternating Turing Machines with a Restriction. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:139-154 [Journal ] Zhixiang Chen , Steven Homer Learning Counting Functions with Queries. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:155-168 [Journal ] Hong Shen , Weifa Liang Efficient Enumeration of all Minimal Separators in a Graph. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:169-180 [Journal ] Carl Pomerance , John Michael Robson , Jeffrey Shallit Automaticity II: Descriptional Complexity in the Unary Case. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:181-201 [Journal ] Vitus J. Leung The Undecidability of the Unrestricted Modified Edit Distance. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:203-215 [Journal ] Dima Grigoriev Testing Shift-Equivalence of Polynomials by Deterministic, Probabilistic and Quantum Machines. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:217-228 [Journal ] Martín Matamala Alternation on Cellular Automata. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:229-241 [Journal ] Alexander E. Andreev , Andrea E. F. Clementi , José D. P. Rolim Optimal Bounds for the Approximation of Boolean Functions and Some Applications. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:243-268 [Journal ] Vassilis Giakoumakis , Jean-Marie Vanherpe On Extended P4 -Reducible and Extended P4 -Sparse Graphs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:269-286 [Journal ] Bruno Codenotti , Biswa N. Datta , Karabi Datta , Mauro Leoncini Parallel Algorithms for Certain Matrix Computations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:287-308 [Journal ] Marek Karpinski , Lawrence L. Larmore , Wojciech Rytter Correctness of Constructing Optimal Alphabetic Trees Revisited. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:309-324 [Journal ] Pierre Péladeau , Howard Straubing , Denis Thérien Finite Semigroup Varieties Defined by Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:325-339 [Journal ] Manfred Kudlek , Alexandru Mateescu On Distributed Catenation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:341-352 [Journal ] Jürgen Dassow , Victor Mitrana Cooperation in Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:353-361 [Journal ] Víctor F. Sirvent On Some Dynamical Subsets of the Rauzy Fractal. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:363-370 [Journal ] René David , Karim Nour A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:180, n:1-2, pp:371-375 [Journal ]