A note on the size of Craig Interpolants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Uwe Schöning, Jacobo Torán. A note on the size of Craig Interpolants. In Thomas Schwentick, Denis Thérien, Heribert Vollmer, editors, Circuits, Logic, and Games, 08.11. - 10.11.2006. Volume 06451 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]

This author has not been identified. Look up 'Uwe Schöning' in GoogleThis author has not been identified. Look up 'Jacobo Torán' in Google

runs on WebDSL