Deciding Polynomial Termination Complexity for VASS Programs.

Michal Ajdarów Antonín Kucera

Published in: CONCUR (2021)

Keyphrases

worst case
space complexity
polynomial hierarchy
database
decision problems
automatic programming
artificial intelligence
answer sets
vapnik chervonenkis dimension
data sets
databases
real world
search engine
upper bound
computer programs