The SCEAS System
Navigation Menu

Journals in DBLP

J. Comput. Syst. Sci.
1986, volume: 32, number: 3

  1. Gary L. Miller
    Finding Small Simple Cycle Separators for 2-Connected Planar Graphs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:265-279 [Journal]
  2. John H. Reif, Harry R. Lewis
    Efficient Symbolic Analysis of Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:280-314 [Journal]
  3. Juhani Karhumäki, Yael Maon
    A Simple Undecidable Problem: Existential Agreement of Inverses of Two Morphisms on a Regular Language. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:315-322 [Journal]
  4. Jan A. Bergstra, Jan Willem Klop
    Conditional Rewrite Rules: Confluence and Termination. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:323-362 [Journal]
  5. Bernard R. Hodgson, Clement F. Kent
    Uniform Normal Form for General Time-Bounded Complexity Classes. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:363-369 [Journal]
  6. James C. Owings
    Effective Choice Functions and Index Sets. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:370-373 [Journal]
  7. Bogdan S. Chlebus
    Domino-Tiling Games. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:374-392 [Journal]
  8. Dominique Perrin, Jean-Eric Pin
    First-Order Logic and Star-Free Sets. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:393-406 [Journal]
  9. N. Lakshmipathy, Karl Winklmann
    "Global" Graph Problems Tend to Be Intractable. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:3, pp:407-428 [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