Author:Laura Kovács

EasyChair Preprint no. 10223
EasyChair Preprint no. 9606
EasyChair Preprint no. 9217
EasyChair Preprint no. 8182
EasyChair Preprint no. 6513
EasyChair Preprint no. 5531
EasyChair Preprint no. 5176
EasyChair Preprint no. 4946
EasyChair Preprint no. 2468
EasyChair Preprint no. 98


Algebraic Recurrences, arithmetic, automated deduction, automated reasoning7, automated theorem prover, automated theorem proving3, Avatar, AVATAR architecture, clause normal form, consequence finding, finite fields, first-order logic2, first-order theorem prover, first-order theorem proving5, FOOL, fool formula, formal verification, induction4, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, interpolation, invariant generation3, linear arithmetic, loop, loop invariants, loop synthesis, next state relation, Optimization, polymorphic arrays, polynomial arithmetic, program analysis2, program synthesis2, program verification3, Quantified First-Order Logic, Resolution Calculus, SAT solving, saturation3, saturation based proof search2, saturation-based theorem proving, SMT, SMT solving, static analysis, structural induction2, superposition3, superposition reasoning3, superposition theorem prover, symbol elimination, symbolic computation, term algebra2, termination, theorem prover, theorem proving4, translation, Triangular Sets, unification, Unification with Abstraction, Vampire4.