Journals in DBLP

J. Comput. Syst. Sci.
2001, volume: 62, number: 4

1. Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito
   Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:537-564 [Journal]
   
2. Juraj Hromkovic, Sebastian Seibert, Thomas Wilke
   Translating Regular Expressions into Small -Free Nondeterministic Finite Automata. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:565-588 [Journal]
   
3. Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan
   Linear-Consistency Testing. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:589-607 [Journal]
   
4. Changwook Kim
   Separation Results for Separated Apex NLC and NCE Graph Languages. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:608-628 [Journal]
   
5. Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer
   The Descriptive Complexity Approach to LOGCFL. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:629-652 [Journal]
   
6. Marcus Hutter
   New Error Bounds for Solomonoff Prediction. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:653-667 [Journal]
   
7. Yonit Kesten, Amir Pnueli, Moshe Y. Vardi
   Verification by Augmented Abstraction: The Automata-Theoretic View. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2001, v:62, n:4, pp:668-690 [Journal]