Conditions for the completeness of functional and algebraic equational reasoning
RIECKE, JON G., SUBRAHMANYAM, RAMESHVolume:
9
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129599002807
Date:
December, 1999
File:
PDF, 415 KB
english, 1999