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 socalled Herbrand Skeleton Problem, the Simultaneous Rigid E-Unification Problem and the prenex fragment of intuitionistic logic with equality.
 PDF file |
Details
| Type: | TechReport |
| Number: | 138 |
| Series: | UPMAIL Technical Reports |
| Institution: | Uppsala University, Computing Science Department |
©2009 Microsoft Corporation. All rights reserved.