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