Tudor Protopopescu

发表

S. Artemov, Tudor Protopopescu, 2010 .
Sergei N. Artëmov, Tudor Protopopescu, 2010 .
Sergei N. Artëmov, Tudor Protopopescu, 2013, Synthese.
Sergei N. Artëmov, Tudor Protopopescu, Tudor Protopopescu, 2014, The Review of Symbolic Logic.
Tudor Protopopescu, Tudor Protopopescu, 2015, LORI.
Federico L. G. Faroldi, Tudor Protopopescu, Tudor Protopopescu, 2019, Log. J. IGPL.
Tudor Protopopescu, Tudor Protopopescu, 2020, J. Log. Comput..
Tudor Protopopescu, Tudor Protopopescu, 2016, LFCS.
Sergei N. Artëmov, Tudor Protopopescu, Tudor Protopopescu, 2014 .