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

Journals in DBLP

Mathematical Structures in Computer Science
1993, volume: 3, number: 2

  1. Paul Rozière
    Admissible and Derivable Rules in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:129-136 [Journal]
  2. Manfred Droste, Rüdiger Göbel
    Universal Domains and the Amalgamation Property. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:137-159 [Journal]
  3. Samson Abramsky, Steven Vickers
    Quantales, Observational Logic and Process Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:161-227 [Journal]
  4. Joachim Lambek
    Least Fixpoints of Endofunctors of Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:229-257 [Journal]
  5. Guo-Qiang Zhang
    Some Monoidal Closed Categories of Stable Domains and Event Structures. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:259-276 [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