Publications of Jeremy Avigad
2003
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] |