×

Craig’s interpolation theorem in computation theory. (English) Zbl 0523.03027


MSC:

03D15 Complexity of computation (including implicit computational complexity)
03C40 Interpolation, preservation, definability
03D10 Turing machines and related notions
PDFBibTeX XMLCite