Login / Signup

The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability.

Klaus Ambos-SpiesAndré NiesRichard A. Shore
Published in: J. Symb. Log. (1992)
Keyphrases
  • truth table
  • description logics
  • lower bound
  • upper bound
  • worst case
  • recursively enumerable