Skip to content

From Polynomial Invariants to Linear Loops.

George Kenison, Laura Kovcs, Anton Varonka

VenueBISSAC
Year2023
ProceedingsISSAC

Browse the full ISSAC paper archive.