Appendix: Separability of tensor in Chu categories of vector spaces.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. 213, doi. 10.1017/S0960129500000955
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1996 AND VI 6 AND IP 2
Results: 7
1
2
Hopf algebras and linear logic.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. 189, doi. 10.1017/S0960129500000943
- By:
- Publication type:
- Article
3
A note on recursive functions.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. 127, doi. 10.1017/S0960129500000918
- By:
- Publication type:
- Article
4
A categorical approach to the semantics of argumentation.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. 167, doi. 10.1017/S0960129500000931
- By:
- Publication type:
- Article
5
Equivalent definitions of recognizability for sets of graphs of bounded tree-width.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. 141, doi. 10.1017/S096012950000092X
- By:
- Publication type:
- Article
6
MSC volume 6 issue 2 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. b1, doi. 10.1017/S0960129500000906
- Publication type:
- Article
7
MSC volume 6 issue 2 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 2, p. f1, doi. 10.1017/S096012950000089X
- Publication type:
- Article