Search results for: Jeremy Avigad
Journal of Automated Reasoning > 2017 > 59 > 4 > 389-423
Journal of Automated Reasoning > 2016 > 56 > 3 > 367-386
Archive for History of Exact Sciences > 2014 > 68 > 3 > 265-326
Annals of Pure and Applied Logic > 2012 > 163 > 12 > 1854-1864
Formal Aspects of Computing > 2011 > 23 > 5 > 607-626
Fundamenta Mathematicae > 2010 > 210 > 3 > 243-268
Annals of Pure and Applied Logic > 2009 > 157 > 2-3 > 64-76
Studies in Logic, Grammar and Rhetoric > 2009 > 18(31) > 51-66
Theoretical Computer Science > 2007 > 370 > 1-3 > 48-59
Journal of Automated Reasoning > 2007 > 38 > 4 > 353-373
Annals of Pure and Applied Logic > 2006 > 139 > 1-3 > 138-184