MSC volume 23 issue 5 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. b1, doi. 10.1017/S0960129513000492
- Publication type:
- Article
Works matching IS 09601295 AND DT 2013 AND VI 23 AND IP 5
Results: 6
1
2
MSC volume 23 issue 5 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. f1, doi. 10.1017/S0960129513000480
- Publication type:
- Article
3
Regular functors and relative realisability categories.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 1082, doi. 10.1017/S0960129512000990
- By:
- Publication type:
- Article
4
A certified lightweight non-interference Java bytecode verifier.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 1032, doi. 10.1017/S0960129512000850
- By:
- Publication type:
- Article
5
Imaginary groups: lazy monoids and reversible computation.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 1002, doi. 10.1017/S0960129512000849
- By:
- Publication type:
- Article
6
A logical framework combining model and proof theory.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 945, doi. 10.1017/S0960129512000424
- By:
- Publication type:
- Article