持有資料: :: Library Catalog

Saved in:

書目詳細資料
Main Authors:	Bacik, Piotr, Nieuwveld, Joris, Ouaknine, Joël, Vahanwala, Mihir, Venkatesh, Madhavan, Wieser, Emil Rugaard
格式:	Preprint
出版:	2026
主題:	Logic in Computer Science 03D99 (Primary), 11D99 (Secondary) F.4.1; F.4.3
在線閱讀:	https://arxiv.org/abs/2605.16985
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

因特網

https://arxiv.org/abs/2605.16985