Fuzzy models of linear logic.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. 301, doi. 10.1017/S096012950000102X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1996 AND VI 6 AND IP 3
Results: 7
1
2
Interpolation and compactness in categories of pre-institutions.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. 261, doi. 10.1017/S0960129500001006
- By:
- Publication type:
- Article
3
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. 251, doi. 10.1017/S0960129500000992
- By:
- Publication type:
- Article
4
The structure of interlaced bilattices.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. 287, doi. 10.1017/S0960129500001018
- By:
- Publication type:
- Article
5
Axiomatizing permutation equivalence.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. 219, doi. 10.1017/S0960129500000980
- By:
- Publication type:
- Article
6
MSC volume 6 issue 3 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. b1, doi. 10.1017/S0960129500000979
- Publication type:
- Article
7
MSC volume 6 issue 3 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 3, p. f1, doi. 10.1017/S0960129500000967
- Publication type:
- Article