LARGE SIMPLE BINARY EQUALITY WORDS
From MaRDI portal
Publication:4923286
DOI10.1142/S0129054112500207zbMath1266.68149OpenAlexW1984024342MaRDI QIDQ4923286
Publication date: 6 June 2013
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054112500207
Related Items (2)
Cites Work
- Unnamed Item
- The (generalized) Post correspondence problem with lists consisting of two words is decidable
- Decision problems for semi-Thue systems with a few rules
- REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM
- A Purely Homomorphic Characterization of Recursively Enumerable Sets
- A variant of a recursively unsolvable problem
This page was built for publication: LARGE SIMPLE BINARY EQUALITY WORDS