Non-strict don't care algebras and specifications.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 1, p. 85, doi. 10.1017/S0960129500000888
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1996 AND VI 6 AND IP 1
Results: 6
1
2
Constructive theory of the lower power locale.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 1, p. 69, doi. 10.1017/S0960129500000876
- By:
- Publication type:
- Article
3
Algebraic implementation of abstract data types: a survey of concepts and new compositionality results.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 1, p. 33, doi. 10.1017/S0960129500000864
- By:
- Publication type:
- Article
4
Datatype laws without signatures.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 1, p. 1, doi. 10.1017/S0960129500000852
- By:
- Publication type:
- Article
5
MSC volume 6 issue 1 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 1, p. b1, doi. 10.1017/S0960129500000840
- Publication type:
- Article
6
MSC volume 6 issue 1 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1996, v. 6, n. 1, p. f1, doi. 10.1017/S0960129500000839
- Publication type:
- Article