Word problems for bidirectional, single-premise Post systems.
Hughes, Charles E. ; Straight, David W.
Notre Dame J. Formal Logic, Tome 21 (1980) no. 1, p. 501-508 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1980-07-14
Classification:  03D30,  03D03,  03D40 
@article{1093883173,
     author = {Hughes, Charles E. and Straight, David W.},
     title = {Word problems for bidirectional, single-premise Post systems.},
     journal = {Notre Dame J. Formal Logic},
     volume = {21},
     number = {1},
     year = {1980},
     pages = { 501-508},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093883173}
}

Hughes, Charles E.; Straight, David W. Word problems for bidirectional, single-premise Post systems.. Notre Dame J. Formal Logic, Tome 21 (1980) no. 1, pp.  501-508. http://gdmltest.u-ga.fr/item/1093883173/