Zaloga: :: Library Catalog

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Şakar, Ömer, Chakraborty, Soham, Huisman, Marieke, Wijs, Anton
Format:	Preprint
Izdano:	2026
Teme:	Logic in Computer Science
Online dostop:	https://arxiv.org/abs/2604.21084
Oznake:	Označite Brez oznak, prvi označite!

Internet

https://arxiv.org/abs/2604.21084