Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem

DOI10.1007/978-3-642-40579-2_3zbMath1400.03063OpenAlexW111703362MaRDI QIDQ2849972

Vesa Halava

Publication date: 20 September 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40579-2_3

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Thue and Post systems, etc. (03D03)

Related Items (1)

AbU: a calculus for distributed event-driven programming with attribute-based interaction

This page was built for publication: Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem