Sign in

The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent.

Klaus Ambos-SpiesPhilipp BodewigYun FanThorsten Kräling
Published in: Ann. Pure Appl. Log. (2013)
Keyphrases
  • d mesh
  • database
  • real time
  • machine learning
  • decision making
  • decision trees
  • face recognition
  • search algorithm
  • multiresolution
  • logic programs