Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems

DOI10.1016/0304-3975(89)90167-9zbMath0677.68050OpenAlexW1979249711MaRDI QIDQ1123619

Could not fetch data.

Publication date: 1989

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90167-9

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.