The decidability of the dol prefix problem
- 1 January 1977
- journal article
- Published by Taylor & Francis in International Journal of Computer Mathematics
- Vol. 6 (2) , 127-142
- https://doi.org/10.1080/00207167708803132
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Developmental systems with locally catenative formulasActa Informatica, 1973