Weighing Obese Timed Languages

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Asarin, Eugene, Degorre, Aldric, Dima, Catalin, Inclán, Bernardo Jacobo
Format:	Preprint
Publié:	2025
Sujets:	Formal Languages and Automata Theory 68Q70, 68Q45, 68P30 F.4.3; E.4; F.1.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2508.18133