Sign in

Embeddability in the 3-Sphere Is Decidable.

Jirí MatousekEric SedgwickMartin TancerUli Wagner
Published in: J. ACM (2018)
Keyphrases
  • half spaces
  • first order logic
  • transitive closure
  • unit sphere
  • datalog programs
  • concept class
  • function symbols
  • semi supervised
  • worst case
  • computation tree logic