home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1891 < prev    next >
Encoding:
Text File  |  1992-09-08  |  738 b   |  26 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!sun-barr!decwrl!parc!boehm
  3. From: boehm@parc.xerox.com (Hans Boehm)
  4. Subject: Re: Are there reductions from Hilbert's 10th problem?
  5. Message-ID: <boehm.715455839@siria>
  6. Sender: news@parc.xerox.com
  7. Organization: Xerox PARC
  8. References: <199209010915.AA06626@vera.fwi.uva.nl>
  9. Date:  2 Sep 92 17:43:59 GMT
  10. Lines: 14
  11.  
  12. A reasonably well-known reduction from Hilbert's 10th problem can
  13. be found in:
  14.  
  15. Warren D. Goldfarb, ``The Undecidability of the second-order unification
  16. problem'', TCS 13 (1981), pp. 225-230.
  17.  
  18. The result has been used to prove undecidability for some type inference
  19. problems for typed programming languages.
  20.  
  21. (Attempts to reply be email failed.)
  22.  
  23. Hans-J. Boehm
  24. (boehm@parc.xerox.com)
  25.  
  26.