Publication | Closed Access

The (generalized) post correspondence problem with lists consisting of two words is decidable

Combinatorics On WordEngineeringAutomated ReasoningComputational LinguisticsCombinatorial Pattern MatchingPost Correspondence ProblemComputer ScienceDiscrete MathematicsLanguage StudiesPattern MatchingLinguisticsComputational SemanticsComputability Theory