Tags

Games
Logic
WORReLL'23
defective variables
effective variables
program analysis
decision problems
Positivity Problem
recurrence sequences