Sotabase
Home
Researchers
Career
·
Author
,
arXiv
2025–
·
Member of DTAI (Declarative Languages and Artificial Intelligence)
,
KU Leuven
·
Researcher
,
KU Leuven
Publications
(0)
Witnessing and guiding sets of tangles
2025
Sotabase