|
This article is cited in 2 scientific papers (total 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
Received: 11.11.1990
Citation:
E. A. Palyutin, “Elimination of quantifiers in Horn theories with a small
number of models”, Algebra Logika, 30:5 (1991), 513–516
Linking options:
https://www.mathnet.ru/eng/al2163 https://www.mathnet.ru/eng/al/v30/i5/p513
|
Statistics & downloads: |
Abstract page: | 43 | Full-text PDF : | 12 |
|