ERIL — Equational reasoning: an interactive laboratory

• 1 January 1985
• book chapter
• Published by Springer Nature in Lecture Notes in Computer Science
• p. 400-401
• https://doi.org/10.1007/3-540-15984-3_295

Abstract

Keywords

• CRITICAL PAIR
• PARTIAL ALGEBRA
• RUTHERFORD APPLETON LABORATORY
• LABORATORY INFORMATICS
• EQUATIONAL REASONING