J. Avigad

发表

Jeremy Avigad, Soonho Kong, Leonardo Mendonça de Moura, 2015, CADE.
Soonho Kong, L. D. Moura, J. Avigad, 2016 .
Jeremy Avigad, Andrea Asperti, Enrico Tassi, 2013, ITP.
H. Towsner, P. Gerhardy, J. Avigad, 2007, 0706.1512.
J. Avigad, 2017, 1711.01994.
Stefan Mitsch, Goran Frehse, J. Avigad, 2018 .
Jeremy Avigad, Jason Rute, J. Avigad, 2012, Ergodic Theory and Dynamical Systems.
J. Avigad, P. Lumsdaine, Krzysztof Kapulkin, 2015 .
Edward T. Dean, J. Avigad, Jason M. Rute, 2011, 1108.4400.
J. Avigad, 2020, Synthese.
J. Avigad, 2007 .
H. Towsner, P. Gerhardy, J. Avigad, 2022 .
H. Towsner, P. Gerhardy, J. Avigad, 2022 .
H. Towsner, P. Gerhardy, J. Avigad, 2022 .
John Matthews, T. Nipkow, J. Avigad, 2018 .
Marijn J. H. Heule, J. Avigad, A. Bentkamp, 2021, Am. Math. Mon..
Sicun Gao, E. Clarke, J. Avigad, 2012 .
J. Avigad, 2011, 1101.0575.
Jeremy Avigad, John Mumma, Edward T. Dean, 2008, The Review of Symbolic Logic.
Jeremy Avigad, Soonho Kong, Floris van Doorn, 2015 .
H. Towsner, J. Avigad, 2009, 0902.0356.
J. Avigad, R. Morris, 2013, Archive for History of Exact Sciences.
J. Avigad, S. Mackereth, 2022, The Review of Symbolic Logic.
Jeremy Avigad, Marijn J. H. Heule, Marijn Heule, 2021, ArXiv.
Jeremy Avigad, J. Avigad, 2020, The Review of Symbolic Logic.
Jeremy Avigad, J. Avigad, 2008 .
J. Avigad, A. Tager, A. Beemer, 1972, Harefuah.
J. Avigad, A. Tager, N. Lass, 1973, Dermatologica.
J. Avigad, R. Wolf, S. Brenner, 1995, Cutis.
J. Avigad, R. Wolf, J. Ophir, 1988, Acta dermato-venereologica.
Cody Roux, Jeremy Avigad, Soonho Kong, 2015, ArXiv.
Jeremy Avigad, J. Avigad, 2004, Bulletin of Symbolic Logic.
Johannes Hölzl, Jeremy Avigad, Luke Serafin, 2014, Journal of Automated Reasoning.
Jeremy Avigad, John Harrison, J. Harrison, 2014, Commun. ACM.
Dragomir R. Radev, Edward W. Ayers, J. Avigad, 2023, ArXiv.
Jeremy Avigad, J. Avigad, 2006, Synthese.
Jeremy Avigad, Peter LeFanu Lumsdaine, Krzysztof Kapulkin, 2013, Mathematical Structures in Computer Science.
Jeremy Avigad, Peter LeFanu Lumsdaine, Krzysztof Kapulkin, 2013, ArXiv.
Jeremy Avigad, J. Avigad, 1998, Ann. Pure Appl. Log..
Andrei Popescu, Jeremy Avigad, Gregor Snelting, 2018, Journal of Automated Reasoning.
J. Avigad, 2021, Bulletin of the American Mathematical Society.
Jeremy Avigad, Vasco Brattka, J. Avigad, 2012, Turing's Legacy.
Murali Sitaraman, Bruce W. Weide, Jeremy Avigad, 2011, Formal Aspects of Computing.
Jeremy Avigad, Richard Sommer, J. Avigad, 1997, Bulletin of Symbolic Logic.
Edmund M. Clarke, Jeremy Avigad, Sicun Gao, 2012, IJCAR.
J. Avigad, 2020, Synthese.
Jeremy Avigad, Rebecca Morris, J. Avigad, 2014, The Review of Symbolic Logic.
Jeremy Avigad, J. Avigad, 2011, Bull. EATCS.
Jeremy Avigad, David Gray, Kevin Donnelly, 2005, TOCL.
Jeremy Avigad, Kevin Donnelly, J. Avigad, 2004, IJCAR.
Jeremy Avigad, J. Avigad, 2001, J. Log. Algebraic Methods Program..
Jeremy Avigad, Solomon Feferman, S. Feferman, 1998 .
Jeremy Avigad, Jared Roesch, Leonardo de Moura, 2017, Proc. ACM Program. Lang..
Jeremy Avigad, J. Avigad, 2003 .
Jeremy Avigad, J. Avigad, 2019, Proof Technology in Mathematics Research and Teaching.
Cody Roux, Jeremy Avigad, Robert Y. Lewis, 2014, Journal of Automated Reasoning.
Jeremy Avigad, Ksenija Simic, J. Avigad, 2006, Ann. Pure Appl. Log..
Jeremy Avigad, J. Avigad, 2012, The Journal of Symbolic Logic.
Jeremy Avigad, Yimu Yin, J. Avigad, 2006, Theor. Comput. Sci..
Jeremy Avigad, Jason Rute, J. Avigad, 2012 .
J. Avigad, K. Donnelly, David Gray, 2005 .
Jeremy Avigad, J. Avigad, 2000 .
Jeremy Avigad, Kevin Donnelly, J. Avigad, 2007, Journal of Automated Reasoning.
Jeremy Avigad, Harvey M. Friedman, H. Friedman, 2006, Log. Methods Comput. Sci..
Jeremy Avigad, J. Avigad, 2009, Ann. Pure Appl. Log..
Jeremy Avigad, Richard Sommer, J. Avigad, 1999, Journal of Symbolic Logic.
Jeremy Avigad, Henry Towsner, H. Towsner, 2008, The Journal of Symbolic Logic.
Jeremy Avigad, J. Avigad, 2000, Journal of Symbolic Logic.
Edmund M. Clarke, Jeremy Avigad, Sicun Gao, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Floris van Doorn, J. Avigad, 2020, 2021 IEEE International Conference on Autonomous Systems (ICAS).
R. A. Simons, J. Avigad, B. Gold, 2008 .
Jeremy Avigad, J. Avigad, 2002, Ann. Pure Appl. Log..
Jeremy Avigad, Jeremy Helzner, J. Avigad, 2002, Arch. Math. Log..
Jeremy Avigad, Jos'e N. Iovino, J. Avigad, 2013, 1301.3063.