External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices

Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman. Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. Journal of Symbolic Logic, 61(3):880-905, 1996.

Authors

Klaus Ambos-Spies

This author has not been identified. Look up 'Klaus Ambos-Spies' in Google

Peter A. Fejer

This author has not been identified. Look up 'Peter A. Fejer' in Google

Steffen Lempp

This author has not been identified. Look up 'Steffen Lempp' in Google

Manuel Lerman

This author has not been identified. Look up 'Manuel Lerman' in Google
runs on