Interpolation in goal directed proof systems 1

D. M. Gabbay, N. Olivetti

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationProceedings LC-2001
EditorsM. Baaz, S. Friedmand, J. Krajicek
PublisherA K Peters
Pages170-217
Number of pages48
Publication statusPublished - 2005

Cite this