The ∀∃-theory of R(≤, ∨, ∧) is undecidable (2004)

by Russell G. Miller , Andre O. Nies , Richard A. Shore
Venue:TRANS. AMER. MATH. SOC
Citations:2 - 0 self

Document Versions

The ∀∃-theory of R(≤, ∨, ∧) is undecidable –Russell G. Miller, Andre O. Nies, Richard A. Shore — 2004 — TRANS. AMER. MATH. SOC
The ∀∃-theory of R(≤, ∨, ∧) is undecidable –Russell G. Miller, Andre O. Nies, Richard A. Shore — 2002
The ∀∃-theory of R(≤, ∨, ∧) is undecidable –Russell G. Miller, Andre O. Nies, Richard A. Shore — 2003
The ∀∃-theory of R(≤, ∨, ∧) is undecidable –Russell G. Miller, Andre O. Nies, Richard A. Shore — 2003 — TRANS. AM. MATH. SOC
The ∀∃-theory of R(≤, ∨, ∧) is undecidable –Russell G. Miller, Andre O. Nies, Richard A. Shore — 2004 — TRANS. AMER. MATH. SOC