Paul Brodhead

发表

Douglas A. Cenzer, Paul Brodhead, Seyyed Dashti, 2006, CiE.
Douglas A. Cenzer, Paul Brodhead, Ferit Toska, 2011, Log. Methods Comput. Sci..
Douglas A. Cenzer, Paul Brodhead, 2008, Arch. Math. Log..
Paul Brodhead, Garrett Hope, Seung-yun Kim, 2020, CATA.
Bjørn Kjos-Hanssen, Paul Brodhead, 2009, CiE.
Paul Brodhead, Garrett Hope, Seung-yun Kim, 2020, CATA.
Douglas A. Cenzer, Paul Brodhead, 2010, CCA.
Bjørn Kjos-Hanssen, Paul Brodhead, 2009, CiE.
Douglas A. Cenzer, Jeffrey B. Remmel, Paul Brodhead, 2007, Electron. Notes Theor. Comput. Sci..
George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, 2008, Arch. Math. Log..
Rodney G. Downey, Keng Meng Ng, Paul Brodhead, 2012, Computation, Physics and Beyond.
George Barmpalias, Douglas A. Cenzer, Rebecca Weber, 2007, J. Log. Comput..
Paul Brodhead, 2007, Electron. Notes Theor. Comput. Sci..
Weilin Li, Angsheng Li, Paul Brodhead, 2008, Ann. Pure Appl. Log..