SOME DECIDABILITY PROBLEMS OF SENTENTIAL FORMS

: HARJU T, PENTTONEN M

Publisher: GORDON BREACH SCI PUBL LTD

: 1979

: International Journal of Computer Mathematics

: INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS

: INT J COMPUT MATH

: 7

: 2

: 95

: 107

: 13

: 0020-7160

DOI: https://doi.org/10.1080/00207167908803161