Skip to main content

Succinctness as a Source of Complexity in Logical Formalisms

Georg Gottlob‚ Nicola Leone and Helmut Veith

Journal
Ann. Pure Appl. Logic
Number
1−3
Pages
231−260
Volume
97
Year
1999