Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter explains how to check whether a terminating specification is confluent, which ensures that the result of evaluating an expression is independent of the choice of which equation is applied to a term, and where the selected equation is applied.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations