Interpolation in Goal Directed Proof Systems1

D Gabbay, N Olivetti, M Baaz (Editor), S Friedmand (Editor), J Krajicek (Editor)

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

Original languageEnglish
Title of host publicationProceedings LC-2001
PublisherA K Peters
Pages170 - 217
Number of pages48
Publication statusPublished - 2005

Cite this