On the termination and structural termination problems for counter machines with incrementing errors.

Christopher Hampson

Published in: J. Comput. Syst. Sci. (2021)

Keyphrases

problems involving
learning algorithm
np complete
application domains
structural information
difficult problems
data sets
neural network
genetic algorithm
database systems
data structure
mathematical programming
term rewriting
rewrite systems