Decidability of Reachability in Persistent Vector Replacement Systems

• Authors:

• Horst Müller

• Affiliations:

• -

• Venue:
• MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
• Year:
• 1980