The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Journals in DBLP

Theor. Comput. Sci.
2006, volume: 355, number: 2

  1. Ruy J. G. B. de Queiroz, Dexter Kozen
    Logic, Language, Information and Computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:105-107 [Journal]
  2. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Intersection types and lambda models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:108-126 [Journal]
  3. Eric Allender
    NL-printable sets and nondeterministic Kolmogorov complexity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:127-138 [Journal]
  4. Denis Bechet, Annie Foret
    k-Valued non-associative Lambek grammars are learnable from generalized functor-argument structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:139-152 [Journal]
  5. Marcelo Finger, Renata Wassermann
    The universe of propositional approximations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:153-166 [Journal]
  6. Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
    Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:167-196 [Journal]
  7. Lauri Hella, Jose Maria Turull Torres
    Computing queries with higher-order logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:197-214 [Journal]
  8. Yngve Lamo, Michal Walicki
    Quantifier-free logic for nondeterministic theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:215-227 [Journal]
  9. Hans Rott
    Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:228-242 [Journal]
  10. Marek Zaionc
    Probability distribution for simple tautologies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:243-260 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002