Author:Petra HozzováPublications |
---|
| EasyChair Preprint no. 12145 | | EasyChair Preprint no. 10223 | EasyChair Preprint no. 8182 | EasyChair Preprint no. 6513 | EasyChair Preprint no. 5531 | EasyChair Preprint no. 5176 | EasyChair Preprint no. 2468 |
Keyphrasesanswer literals, automated deduction, automated reasoning4, Avatar, AVATAR architecture, first-order theorem proving4, formal verification, induction4, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, Linear Integer Arithmetic, non-linear integer arithmetic, non-linear real arithmetic, program synthesis4, recursion, saturation3, saturation based proof search2, saturation-based theorem proving, smart contracts, SMT solving, structural induction2, superposition2, superposition reasoning3, superposition theorem prover, term algebra2, theorem proving3, Vampire2. |
|