This article is cited in 6 papers

Analogues of Rice's theorem for semantic classes of propositions

M. G. Peretyat'kin

Institute of Mathematics and Mechanics, AS of KazSSR

UDC: 512.8

Received: 29.07.1990

 English version: DOI: 10.1007/BF01980248

Bibliographic databases:

•