Sign in

Bisimulation by Unification.

Paolo BaldanAndrea BraccialiRoberto Bruni
Published in: AMAST (2002)
Keyphrases
  • higher order
  • theorem proving
  • computer vision
  • theorem prover
  • database
  • image segmentation