Works matching IS 09601295 AND DT 1999 AND VI 9 AND IP 6
Results: 1
Conditions for the completeness of functional and algebraic equational reasoning.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 6, p. 651, doi. 10.1017/s0960129599002807
- By:
- Publication type:
- Article