Slika omota

Spremljeno u:
Bibliografski detalji
Glavni autori: Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto
Format: Preprint
Izdano: 2024
Teme:
Logic
Logic in Computer Science
03B50
F.4.1
Online pristup:https://arxiv.org/abs/2401.03274
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Internet

https://arxiv.org/abs/2401.03274

Slični predmeti