Koinduktion
Sign in to saveAlso known as co-induction
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.
Also known as co-induction
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.