Journals in DBLP

Mathematical Structures in Computer Science
2002, volume: 12, number: 1

1. Loïc Colson
   Syntactical Truth Predicates for Formulas with Atomic Negation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:1-18 [Journal]
   
2. Sara Negri
   Continuous Domains as Formal Spaces. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:19-52 [Journal]
   
3. Roberto Bruni, José Meseguer, Ugo Montanari
   Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:53-90 [Journal]
   
4. Paolo Boldi, Felice Cardone, Manfred Droste
   Universal Homogeneous Graph-Like Structures And Domains. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:91-109 [Journal]