Matthew de Brecht

发表

Matthew de Brecht, Jun Saiki, J. Saiki, 2006, Neural Networks.
Matthew de Brecht, Victor L. Selivanov, Matthias Schröder, 2015, CiE.
Akihiro Yamamoto, Matthew de Brecht, Masanori Kobayashi, 2006, JSAI.
Akihiro Yamamoto, Matthew de Brecht, Akihiro Yamamoto, 2010, Theor. Comput. Sci..
Arno Pauly, Matthew de Brecht, A. Pauly, 2016, CSL.
Matthew de Brecht, 2011, Ann. Pure Appl. Log..
Akihiro Yamamoto, Matthew de Brecht, Akihiro Yamamoto, 2006, ALT.
Matthew de Brecht, 2017, Log. Methods Comput. Sci..
Matthew de Brecht, 2014, Logic, Computation, Hierarchies.
Arno Pauly, Matthew de Brecht, Matthias Schröder, 2019, Comput..
Arno Pauly, Matthew de Brecht, A. Pauly, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Akihiro Yamamoto, Matthew de Brecht, 2009, CCA.
Arno Pauly, Matthew de Brecht, Vasco Brattka, 2010, Ann. Pure Appl. Log..
Tatsuji Kawai, Matthew de Brecht, Tatsuji Kawai, 2017, Log. Methods Comput. Sci..
Jean Goubault-Larrecq, Matthew de Brecht, Xiaodong Jia, 2019, ISDT.
Akihiro Yamamoto, Matthew de Brecht, 2010, Inf. Comput..
Akihiro Yamamoto, Matthew de Brecht, 2008, ALT.
Matthew de Brecht, Florian Steinberg, Zvonko Iljazovic, 2018 .
Matthew de Brecht, Victor L. Selivanov, V. Selivanov, 2016 .
Arno Pauly, Matthew de Brecht, 2012, DCM.
Akihiro Yamamoto, Matthew de Brecht, Akihiro Yamamoto, 2009 .
Matthew de Brecht, D. Scott, V. Selivanov, 2018 .
Matthew de Brecht, Tatsuji Kawai, 2017, Log. Methods Comput. Sci..