LCS Publication Details
Publication Title: A NOTE ON THE LENGTH OF CRAIG'S INTERPOLANTS
Publication Author: Meyer, Albert R.
Additional Authors:
LCS Document Number: MIT-LCS-TM-183
Publication Date: 10-1-1980
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
There is no recursive bound on the lengh of the smallest interpolant.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.