Some post canonical systems in one letter

DOI10.1007/BF01932960zbMath0305.02047OpenAlexW1975638607MaRDI QIDQ4060951

William H. Hosken

Publication date: 1972

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01932960

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03)

Related Items (2)

The reachability problem for Petri nets and decision problems for Skolem arithmetic ⋮ The equivalence of vector addition systems to a subclass of Post canonical systems

Cites Work

• Extended Canonical Systems
• Computability of Recursive Functions
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: Some post canonical systems in one letter