Logic and Computation through the Lens of Semirings

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Barlag, Timon, Fröhlich, Nicolas, Hankala, Teemu, Hannula, Miika, Hirvonen, Minna, Holzapfel, Vivian, Kontinen, Juha, Meier, Arne, Strieker, Laura
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!