An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction.

Yannick Zakowski Paul He Chung-Kil Hur Steve Zdancewic

Published in: CoRR (2020)

Keyphrases

theoretical framework
equational theories
theoretical basis
learning algorithm
theorem proving
data sets
computer vision
image processing
case study
image sequences
computer science
probabilistic model
medical images
computational model
theorem prover