Circular Coinduction in Coq Using Bisimulation-Up-To Techniques.

Jörg Endrullis Dimitri Hendriks Martin Bodin

Published in: ITP (2013)

Keyphrases

hough transform
theorem prover
formal methods
harmonic functions
artificial intelligence
microstrip antenna
databases
machine learning
learning algorithm
case study
database systems
lower bound
special case
optimal planning