The ∀∃ theory of D(≤, ∨, ′ ) is undecidable (2003)

by Richard A. Shore , Theodore A. Slaman
Venue:In Proceedings of Logic Colloquium
Citations:2 - 0 self