A1 Refereed original research article in a scientific journal

SOME DECIDABILITY PROBLEMS OF SENTENTIAL FORMS

Authors: HARJU T, PENTTONEN M

Publisher: GORDON BREACH SCI PUBL LTD

Publication year: 1979

Journal: International Journal of Computer Mathematics

Journal name in source: INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS

Journal acronym: INT J COMPUT MATH

Volume: 7

Issue: 2

First page : 95

Last page: 107

Number of pages: 13

ISSN: 0020-7160

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