Publikationsansicht

On the existence of polynomial time algorithms for interpolation problems in propositional logic. (1988)

Details der Publikation

Download	http://ProjectEuclid.org/getRecord?id=euclid.ndjfl/1093638014
Herausgeber	University of Notre Dame
Archiv	Project Euclid (Hosted at Cornell University Library) (United States)
Keywords	03B05 (MSC), 03C40 (MSC), 03D15 (MSC), 68Q20 (MSC)
Typ	text
Sprache	Englisch