J. Ledent
发表
M. Hofmann,
J. Ledent,
2021,
Mathematical Structures in Computer Science.
A. Muscholl,
J. Ledent,
2013
.
Sergio Rajsbaum,
Hans van Ditmarsch,
Marijana Lazic,
2021,
J. Log. Algebraic Methods Program..
Sergio Rajsbaum,
Éric Goubault,
Jérémy Ledent,
2018,
GandALF.
Sergio Rajsbaum,
Marijana Lazic,
Eric Goubault,
2019,
DaLí.
Sergio Rajsbaum,
Hans van Ditmarsch,
Eric Goubault,
2020,
ArXiv.
S. Rajsbaum,
J. Ledent,
É. Goubault,
2021,
STACS.
S. Rajsbaum,
É. Goubault,
J. Ledent,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
É. Goubault,
J. Ledent,
Roman Kniazev,
2023,
ArXiv.
Sergio Rajsbaum,
Marijana Lazic,
Éric Goubault,
2019,
DISC.
S. Rajsbaum,
M. Lazic,
J. Ledent,
2019
.
M. Hofmann,
J. Ledent,
2020
.
Martin Hofmann,
Jérémy Ledent,
M. Hofmann,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).