Deciding Polynomial Termination Complexity for VASS Programs.

Michal Ajdarów Antonín Kucera

Published in: CoRR (2021)

Keyphrases

vapnik chervonenkis dimension
worst case
polynomial hierarchy
term rewrite systems
computational complexity
exponential size
data sets
knowledge base
website
relational databases
programming environment
automatic programming