Works matching IS 09601295 AND DT 1999 AND VI 9 AND IP 6

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:

• RIECKE, JON G.;
• SUBRAHMANYAM, RAMESH

Publication type:

Article