Bisimulation and Coinduction Enhancements: A Historical Perspective.

Damien Pous Davide Sangiorgi

Published in: Formal Aspects Comput. (2019)

Keyphrases

historical perspective
background information
computer vision
equivalence relation
object recognition