2 research outputs found

    Almost all complex quantifiers are simple

    No full text
    We prove that PTIME generalized quantifiers are closed under Boolean operations, iteration, cumulation and resumption
    corecore