Residuals and Detachments

B. Möller

2005-20

Technical Report, Institute of Computer Science, University of Augsburg, December 2005

Abstract:
We give a compendium of algebraic calculation rules for the operations of residuation and detachment in semirings.