A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

SOME DECIDABILITY PROBLEMS OF SENTENTIAL FORMS

Tekijät: HARJU T, PENTTONEN M

Kustantaja: GORDON BREACH SCI PUBL LTD

Julkaisuvuosi: 1979

Lehti:: International Journal of Computer Mathematics

Tietokannassa oleva lehden nimi: INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS

Lehden akronyymi: INT J COMPUT MATH

Vuosikerta: 7

Numero: 2

Aloitussivu: 95

Lopetussivu: 107

Sivujen määrä: 13

ISSN: 0020-7160

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