Bisimulation by Unification.

Paolo Baldan Andrea Bracciali Roberto Bruni

Published in: AMAST (2002)

Keyphrases

higher order
theorem proving
computer vision
theorem prover
database
image segmentation