Journals in DBLP

Mathematical Structures in Computer Science
1995, volume: 5, number: 2

1. Horst Reichel
   An Approach to Object Semantics based on Terminal Co-Algebras. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:129-152 [Journal]
   
2. Ingo Claßen, Martin Große-Rhode, Uwe Wolter
   Categorical Concepts for Parameterized Partial Specifications. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:153-188 [Journal]
   
3. Hans-Jörg Kreowski, Till Mossakowski
   Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:189-215 [Journal]
   
4. Julia Padberg, Hartmut Ehrig, Leila Ribeiro
   Algebraic High-Level Net Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:217-256 [Journal]
   
5. Egidio Astesiano, Elena Zucca
   D-oids: A Model for Dynamic Data-Types. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:257-282 [Journal]
   
6. Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig
   Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:283-314 [Journal]