Detta dokument illustrerar relevansen av distributiva lagar för lösningen av rekursiva ekvationer, och visar att ett tillvägagångssätt för att erhålla myntduktiva lösningar av ekvationer via oändliga termer i själva verket är ett specialfall av en mer allmän strategi med hjälp av en utökad form av myntupptagning via distributiva lagar.
Distributiva lagar tillämpas i REF för att hitta lösningar på bevakade rekursiva ekvationer.
Distributive laws for the coinductive solution of recursive equations
{'venue': 'Information and Computation', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}