Microsoft Research
Microsoft Translator |
Some undecidable problems related to the Herbrand theorem

Yuri Gurevich and Margus Veanes
March 1997

We improve upon a number of recent undecidability results related to the so­called Herbrand Skeleton Problem, the Simultaneous Rigid E-­Unification Problem and the prenex fragment of intuitionistic logic with equality.

upmail0138.pdf
PDF file

Details

TypeTechReport
Number138
SeriesUPMAIL Technical Reports
InstitutionUppsala University, Computing Science Department
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Some undecidable problems related to the Herbrand theorem