Logic program semantics for programming with equations

• 1 January 1986
• book chapter
• Published by Springer Nature
• p. 313-326
• https://doi.org/10.1007/3-540-16492-8_84

Abstract

Keywords

• STRUCTURE
• RESPECT
• PROGRAMMING WITH EQUATIONS WE CONSIDER
• LOGIC PROGRAMMING
• EQUATION SOLVING