Author:Márton Hajdu
Keyphrasesautomated reasoning3, AVATAR architecture, first-order theorem proving3, induction3, induction with generalization, inductive benchmarks, Inductive data types, integers, saturation, saturation based proof search2, structural induction2, superposition, superposition reasoning2, term algebra2, Vampire2. |