Zaloga: :: Library Catalog

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Prebet, Enguerrand, Platzer, André
Format:	Preprint
Izdano:	2024
Teme:	Logic in Computer Science F.3.1; F.4.1; D.2.4
Online dostop:	https://arxiv.org/abs/2404.16734
Oznake:	Označite Brez oznak, prvi označite!

Internet

https://arxiv.org/abs/2404.16734