A Uniform Method for Proving Lower Bounds of the Computational Complexity of Logical Theories

Authors
Publication date
1 April 1987
Publisher

Abstract

https://deepblue.lib.umich.edu/bitstream/2027.42/154178/1/39015100081655.pd

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Deep Blue at the University of Michigan

    redirect
    oaioai:deepblue.lib.umich.edu:202...
    Last time updated on 27/03/2020