Informace o publikaci

Efficient Analysis of VASS Termination Complexity

Autoři

KUČERA Antonín LEROUX Jérôme VELAN Dominik

Rok publikování 2020
Druh Článek ve sborníku
Konference LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1145/3373718.3394751
Klíčová slova Vector addition systems; Termination
Popis Článek se zabývá odhadem maximální doby běhu VASS systémů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info