The SCEAS System
Navigation Menu

Journals in DBLP

Mathematical Structures in Computer Science
2001, volume: 11, number: 6

  1. Max I. Kanovich, Jacqueline Vauzeilles
    The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:689-716 [Journal]
  2. Steven Vickers
    Strongly algebraic = SFP (topically). [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:717-742 [Journal]
  3. Manfred Droste, Dietrich Kuske
    Recognizable languages in divisibility monoids. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:743-770 [Journal]
  4. Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
    On the elimination of some higher type quantifiers. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:771-779 [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