Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate

This book describes an ongoing equational programming project that started in 1975. Within the project an equational programming language interpreter has been d

Abstract: "This thesis proposes a general framework for equational logic programming, called category-based equational logic by placing the general principles u