Efficient Algorithms for Checking Fast Termination in VASS.

Tomás Brázdil Krishnendu Chatterjee Antonín Kucera Petr Novotný Dominik Velan

Published in: CoRR (2017)

Keyphrases

type checking
data sets
rewrite systems
preprocessing
active rules
term rewriting
database
databases
multi agent
viewpoint
consistency checking