Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem

DOI10.1002/malq.19740200803zbMath0383.03024OpenAlexW1969214769MaRDI QIDQ4163517

Ann Yasuhara

Publication date: 1974

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19740200803

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03)

Related Items

Thue congruences and the Church-Rosser property

This page was built for publication: Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem