George Kenison
George Kenison
Home
Publications
Experience
Posts
Contact
CV
Light
Dark
Automatic
G. Kenison
Latest
Solving Invariant Generation for Unsolvable Loops
On the Skolem Problem for Reversible Sequences
What is decidable about the Stochastic Reachability Problem?
On Positivity and Minimality for Second-Order Holonomic Sequences
On Inequality Decision Problems for Low-Order Holonomic Sequences
On the Skolem Problem and prime powers
Statistics in conjugacy classes in free groups
Orbit counting in conjugacy classes for free groups acting on trees
Cite
×