On the steps of Emil Post: from normal systems to the correspondence decision problem

DOI10.14232/ACTACYB.284625zbMATH Open1474.03095OpenAlexW3048238790MaRDI QIDQ5855841FDOQ5855841

Authors: Vesa Halava, Tero Harju 

Publication date: 20 March 2021

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.284625

Recommendations

• Publication:4729772
• Remarks on generalized Post Correspondence Problem
• Binary (generalized) Post Correspondence Problem
• New proof for the undecidability of the circular PCP
• On some variants of Post's correspondence problem

zbMATH Keywords

undecidabilityPost correspondence problemnormal systemsassertion problem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Thue and Post systems, etc. (03D03) Undecidability and degrees of sets of sentences (03D35)

Cited In (3)

• Title not available (Why is that?)
• Verification of PCP-related computational reductions in Coq
• Title not available (Why is that?)

This page was built for publication: On the steps of Emil Post: from normal systems to the correspondence decision problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5855841)