MSC volume 21 issue 2 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. b1, doi. 10.1017/S0960129511000259
- Publication type:
- Article
Works matching IS 09601295 AND DT 2011 AND VI 21 AND IP 2
Results: 11
1
2
MSC volume 21 issue 2 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. f1, doi. 10.1017/S0960129511000247
- Publication type:
- Article
3
Equational presentations of functors and monads.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 363, doi. 10.1017/S0960129510000575
- By:
- Publication type:
- Article
4
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 235, doi. 10.1017/S0960129510000563
- By:
- Publication type:
- Article
5
On monotone modalities and adjointness.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 383, doi. 10.1017/S0960129510000514
- By:
- Publication type:
- Article
6
Initial algebras and terminal coalgebras in many-sorted sets.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 481, doi. 10.1017/S0960129510000502
- By:
- Publication type:
- Article
7
Traces for coalgebraic components.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 267, doi. 10.1017/S0960129510000551
- By:
- Publication type:
- Article
8
Coalgebraic logic over general measurable spaces – a survey.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 175, doi. 10.1017/S0960129510000526
- By:
- Publication type:
- Article
9
Pointwise extensions of GSOS-defined operations.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 321, doi. 10.1017/S096012951000054X
- By:
- Publication type:
- Article
10
Foreword: special issue on coalgebraic logic.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 171, doi. 10.1017/S0960129510000538
- By:
- Publication type:
- Article
11
Elgot theories: a new perspective on the equational properties of iteration.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 417, doi. 10.1017/S0960129510000496
- By:
- Publication type:
- Article