Hebrew קואינדוקציה Cited by user SchwartzYosale on 07 Sep 2023 במדעי המחשב, קואינדוקציה היא טכניקה להגדרה והוכחה של תכונות הנוגעות למערכות עצמים שמקיימות תכונות מסוימות של אינטראקציה בין העצמים בהן.
English Coinduction Cited by user Nathan.s.chappell on 01 Sep 2022 In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.