Skip to content
cs-conference-ranking.org

AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic.

Bohua Zhan

VenueBITP
Year2016
ProceedingsITP
DBLP recordconf/itp/Zhan16 ↗

Browse the full ITP paper archive.