The covering and boundedness problems for branching vector addition systems
Résumé
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
Origine : Fichiers produits par l'(les) auteur(s)