A. N. Degtev, “Decidability of the <nobr>$\forall \exists $</nobr>-theory of a certain factor-lattice of recursively enumerable sets”, Algebra Logika, 1978, Volume 17, Number 2,Pages <nobr>134

JOURNALS // Algebra i logika // Archive

Algebra Logika, 1978 Volume 17, Number 2, Pages 134–143 (Mi al1596)

This article is cited in 1 paper

Decidability of the $\forall \exists $-theory of a certain factor-lattice of recursively enumerable sets

A. N. Degtev

UDC: 51.01:518.5

Received: 05.09.1977

Fulltext: PDF file (4879 kB)
Cited by

Bibliographic databases: