DE BRECHT Matthew
Matthew de Brecht
更新日: 2021/10/23
論文
18
表示件数
-
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE 9(3-4) 169-191 2020年 査読有り
-
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 345 3-35 2019年8月 査読有り
-
LOGICAL METHODS IN COMPUTER SCIENCE 15(3) 2019年 査読有り
-
LOGICAL METHODS IN COMPUTER SCIENCE 14(1) 1-18 2018年 査読有り
-
Proceedings of the 26th Annual Conference on Computer Science Logic 82 1-17 2017年 査読有り
-
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE 5(1) 75-102 2016年 査読有り
-
2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) 438-449 2015年 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 164(3) 356-381 2013年3月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 163(8) 986-1008 2012年8月 査読有り
-
NEUROIMAGE 60(2) 1550-1561 2012年4月 査読有り
-
INFORMATION AND COMPUTATION 208(4) 327-340 2010年4月 査読有り
-
THEORETICAL COMPUTER SCIENCE 411(7-9) 976-985 2010年2月 査読有り
-
374-388 2008年
-
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE 4384 265-275 2007年 査読有り
-
NEURAL NETWORKS 19(10) 1467-1474 2006年12月 査読有り