The $\forall\exists$-theory of $\mathcal{R}(\leq,\vee,\wedge)$ is undecidable

• Localización: Transactions of the American Mathematical Society, ISSN 0002-9947, Vol. 356, Nº 8, 2004, págs. 3025-3067
• Idioma: inglés
• Texto completo no disponible (Saber más ...)