J. Ad'amek
发表
J. Ad'amek,
M. Dost'al,
J. Velebil,
2020,
Mathematical Structures in Computer Science.
J. Rosick'y,
J. Ad'amek,
2018,
1806.02524.
Jivr'i Ad'amek,
Jivr'i Rosick'y,
J. Rosick'y,
2020,
Journal of Pure and Applied Algebra.
J. Ad'amek,
M. Dost'al,
J. Velebil,
2023,
2301.01034.
Henning Urbat,
J. Ad'amek,
Stefan Milius,
2019,
J. Log. Comput..
L. Moss,
J. Ad'amek,
Stefan Milius,
2021,
ArXiv.