Journals in DBLP
Maarten M. Fokkinga Datatype Laws without Signatures. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:1, pp:1-32 [Journal ] Fernando Orejas , Marisa Navarro , Ana Sánchez Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:1, pp:33-67 [Journal ] M. Bunge , J. Funk Constructive Theory of the Lower Power Locale. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:1, pp:69-83 [Journal ] Egidio Astesiano , Maura Cerioli Non-Strict Don't Care Algebras and Specifications. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:1, pp:85-125 [Journal ]