Jeremy Avigad
First name(s): Jeremy
Last name(s): Avigad

Publications of Jeremy Avigad
2003
Jeremy Avigad, Eliminating definitions and Skolem functions in first-order logic (2003), in: ACM Trans. Comput. Log., 4:3(402-415)
[DOI]