Algebraic Reasoning for (Un)Solvable Loops (Invited Talk).

Laura Kovcs

Browse the full MFCS paper archive.