|
Journals in DBLP
- Jirí Adámek, Hans-E. Porst
On Varieties and Covarieties in a Category. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:201-232 [Journal]
- Steven Awodey, Jesse Hughes
Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:233-258 [Journal]
- Jirí Adámek, Stefan Milius, Jiri Velebil
Free Iterative Theories: A Coalgebraic View. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:259-320 [Journal]
- Falk Bartels
Generalised Coinduction. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:321-348 [Journal]
- Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Dualising Initial Algebras. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:349-370 [Journal]
|