Matthew de Brecht
发表
Matthew de Brecht,
Jun Saiki,
J. Saiki,
2006,
Neural Networks.
Matthew de Brecht,
2010
.
Matthew de Brecht,
Victor L. Selivanov,
Matthias Schröder,
2015,
CiE.
Akihiro Yamamoto,
Matthew de Brecht,
Masanori Kobayashi,
2006,
JSAI.
Arno Pauly,
Matthew de Brecht,
A. Pauly,
2013,
ArXiv.
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,
2020,
CiE.
Matthew de Brecht,
2017,
Log. Methods Comput. Sci..
Matthew de Brecht,
山本 章博,
2008
.
Matthew de Brecht,
2014,
Logic, Computation, Hierarchies.
Arno Pauly,
Matthew de Brecht,
Matthias Schröder,
2019,
Comput..
Matthew de Brecht,
Noriko Yamagishi,
2012,
NeuroImage.
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..
Matthew de Brecht,
山本 章博,
2009
.
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,
2022,
CSL.
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..
Matthew de Brecht,
2015
.