Skip to content

Algebraic Stepper for Simple Modules.

Kenichi Asai, Hinano Akiyama

VenueCPEPM
Year2025
ProceedingsPEPM

Browse the full PEPM paper archive.