Decidability Problems for Self-induced Systems Generated by a Substitution.

Timo Jolivet, Anne Siegel

Browse the full MCU paper archive.