Searching for "Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Decidability Of The Two-Quantifier Theory Of The Recursively Enumerable Weak Truth-Table Degrees
by Klaus Ambos-spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman — 1996 — Journal of Symbolic Logic
… DECIDABILITY OF THE TWO-QUANTIFIER THEORY OF THE RECURSIVELY ENUMERABLE WEAK TRUTH-TABLE DEGREES…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB