The Reachability Problem for Petri Nets is Not Primitive Recursive
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://cnrs.hal.science/hal-03863832
Soumis le : mercredi 23 novembre 2022-14:22:01
Dernière modification le : vendredi 24 mars 2023-14:53:29
Archivage à long terme le : vendredi 24 février 2023-19:15:31