Jim de Groot
发表
Yde Venema,
Nick Bezhanishvili,
Jim de Groot,
2019,
CALCO.
Jim de Groot,
Dirk Pattinson,
D. Pattinson,
2020,
Log. Methods Comput. Sci..
Jim de Groot,
Dirk Pattinson,
D. Pattinson,
2019,
WoLLIC.
Helle Hvid Hansen,
Jim de Groot,
Alexander Kurz,
2020,
ArXiv.
Jim de Groot,
2020,
AiML.
Jim de Groot,
Dirk Pattinson,
D. Pattinson,
2020,
LICS.
Nick Bezhanishvili,
Jim de Groot,
Sebastian Enqvist,
2020,
CMCS.
Jim de Groot,
2021,
Stud Logica.
Jim de Groot,
Dirk Pattinson,
D. Pattinson,
2021,
Inf. Comput..
Guram Bezhanishvili,
Nick Bezhanishvili,
Jim de Groot,
2021,
ArXiv.
Jim de Groot,
Y. Venema,
N. Bezhanishvili,
2019
.
Jim de Groot,
G. Bezhanishvili,
N. Bezhanishvili,
2021,
ArXiv.
Jim de Groot,
G. Bezhanishvili,
N. Bezhanishvili,
2021,
Log. Methods Comput. Sci..
Jim de Groot,
D. Pattinson,
2020,
Log. Methods Comput. Sci..
Jim de Groot,
2022,
2208.11354.
Jim de Groot,
Y. Venema,
N. Bezhanishvili,
2019,
Logical Methods in Computer Science.
Jim de Groot,
D. Pattinson,
Tadeusz Litak,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).