The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1997, volume: 180, number: 1-2

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002