The power of parameterization in coinductive proof.

Chung-Kil Hur Georg Neis Derek Dreyer Viktor Vafeiadis

Published in: POPL (2013)

Keyphrases

power consumption
theorem proving
real world
databases
machine learning
social networks
image processing
search algorithm
logic programming
theorem prover