The SCEAS System
Navigation Menu

Journals in DBLP

Mathematical Structures in Computer Science
2005, volume: 15, number: 4

  1. Thomas Ehrhard
    Finiteness spaces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:615-646 [Journal]
  2. Ernst-Erich Doberkat
    Semi-pullbacks for stochastic relations over analytic spaces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:647-670 [Journal]
  3. Ana Bove, Venanzio Capretta
    Modelling general recursion in type theory. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:671-708 [Journal]
  4. Lars Birkedal, Rasmus Ejlers Møgelberg
    Categorical models for Abadi and Plotkin's logic for parametricity. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:709-772 [Journal]
  5. Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske
    Abstract hierarchical graph transformation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:773-819 [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