The SCEAS System
Navigation Menu

Journals in DBLP

Inf. Sci.
2001, volume: 139, number: 3-4

  1. Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
    Relational methods in computer science - Preface. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:165-166 [Journal]
  2. Rudolf Berghammer, Thorsten Hoffmann
    Relational depth-first-search with applications. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:167-186 [Journal]
  3. Dexter Kozen, Jerzy Tiuryn
    On the completeness of propositional Hoare logic. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:187-195 [Journal]
  4. Wolfram Kahl
    Parallel composition and decomposition of specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:197-220 [Journal]
  5. Michael Böttner
    Multigrade extension of relational grammar. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:221-231 [Journal]
  6. Michael Winter
    A new algebraic approach to L-fuzzy relations convenient to study crispness. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:233-252 [Journal]
  7. Jules Desharnais, Bernhard Möller
    Characterizing determinacy in Kleene algebras. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:253-273 [Journal]
  8. John L. Pfaltz, Robert E. Jamison
    Closure systems and their structure. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:275-286 [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