Skip to content

Combining Generalization Algorithms in Regular Collapse-Free Theories.

Mauricio Ayala-Rincn, David M. Cerna, Temur Kutsia, Christophe Ringeissen

VenueBFSCD
Year2025
ProceedingsFSCD

Browse the full FSCD paper archive.