This article is cited in 2 papers

Elimination of quantifiers in Horn theories with a small number of models

E. A. Palyutin

Institute of Mathematics, Siberian Branch of USSR Academy of Sciences, Novosibirsk

UDC: 510.67

Received: 11.11.1990

 English version: DOI: 10.1007/BF01980247

Bibliographic databases:

•