Decidability of Reachability in Persistent Vector Replacement Systems.

Horst Mller

Browse the full MFCS paper archive.