MSC volume 22 issue 1 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. b1, doi. 10.1017/S0960129511000727
- Publication type:
- Article
Works matching IS 09601295 AND DT 2012 AND VI 22 AND IP 1
Results: 7
1
2
MSC volume 22 issue 1 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. f1, doi. 10.1017/S0960129511000715
- Publication type:
- Article
3
Constructing a small category of setoids.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 103, doi. 10.1017/S0960129511000478
- By:
- Publication type:
- Article
4
Relative formal topology: the binary positivity predicate comes first.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 69, doi. 10.1017/S0960129511000466
- By:
- Publication type:
- Article
5
Bisimulations for non-deterministic labelled Markov processes.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 43, doi. 10.1017/S0960129511000454
- By:
- Publication type:
- Article
6
Lenses, fibrations and universal translations.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 25, doi. 10.1017/S0960129511000442
- By:
- Publication type:
- Article
7
Interpolation for predefined types.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 1, doi. 10.1017/S0960129511000430
- By:
- Publication type:
- Article