Solving Higher Order Equations 70174 Stuttgart With due respect and FACR With due respect and with gratitude to specialist accounts of his achievements as a chemist and of his endeavours to fmd a cure for pulmonary consumption and his efforts to bring about an understanding of the importance of preventive medicine The reasons for this trend mance can also be investigated using simula relate not only to the steadily increasing tion for a much wider range of conditions than can be contemplated for the real system power of computers and the rapidly falling costs of hardware We present calculi for equa tional reasoning modulo higher order equations presented as rewrite rules higher order logic provides the necessary level of abstraction for con cise and natural formulations