TY - RPRT A1 - Möller, Bernhard T1 - Residuals and detachments N2 - We give a compendium of algebraic calculation rules for the operations of residuation and detachment in semirings. T3 - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2005-20 Y1 - 2006 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/242 UR - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-1935 PB - Institut für Informatik, Universität Augsburg CY - Augsburg ER -