Login / Signup

Type reconstruction in F-omega is undecidable.

Pawel Urzyczyn
Published in: TLCA (1993)
Keyphrases
  • discrete tomography
  • image processing
  • multiple types
  • real time
  • face recognition
  • expert systems
  • sufficient conditions