Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets
From MaRDI portal
Publication:1159632
DOI10.1007/BF01670108zbMath0476.03042OpenAlexW2090119609MaRDI QIDQ1159632
Publication date: 1979
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01670108
Cites Work
This page was built for publication: Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets