Concepedia
Information Processing Letters · 1981 · 20 citations · 0 references
Natural SciencesComputer ScienceMathematicsSet TheoryProof ComplexityCorrespondence ProblemPost Correspondence Problem