Tags

defective variables
effective variables
invariant generation
program analysis
unsolvable loops
decision problems
Positivity Problem
recurrence sequences
Membership Problem