The equivalence of vector addition systems to a subclass of Post canonical systems

DOI10.1016/0020-0190(78)90069-8zbMath0391.68020OpenAlexW2058825934MaRDI QIDQ1251476

Charles E. Hughes

Publication date: 1978

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(78)90069-8

zbMATH Keywords

Decision ProblemsPost Canonical SystemsVector Addition Systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Thue and Post systems, etc. (03D03)

Cites Work

• The equality problem for vector addition systems is undecidable
• Some post canonical systems in one letter

This page was built for publication: The equivalence of vector addition systems to a subclass of Post canonical systems