Okładka

Zapisane w:
Opis bibliograficzny
Główni autorzy: Accattoli, Beniamino, Lancelot, Adrienne, Manzonetto, Giulio, Vanoni, Gabriele
Format: Preprint
Wydane: 2024
Hasła przedmiotowe:
Logic in Computer Science
Programming Languages
Dostęp online:https://arxiv.org/abs/2409.18709
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

Internet

https://arxiv.org/abs/2409.18709

Podobne zapisy