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

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