Exponential lower bound for static semi-algebraic proofs

D Grigoriev, EA Hirsch, DV Pasechnik

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    7 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationICALP 2002, Proceedings of the 29th International colloquium on automata, languages, and programming
    EditorsP Widmayer, et al.
    Place of PublicationBerlin
    PublisherSpringer
    Pages257-268
    Number of pages12
    ISBN (Print)0302-9743
    Publication statusPublished - 2002
    Event29th International Colloquium on automata, languages, and programming - Berlin
    Duration: 8 Jul 200213 Jul 2002

    Publication series

    Name
    PublisherSpringer-Verlag
    NameLecture Notes in Computer Science
    Volume2380
    ISSN (Print)0302-9743

    Conference

    Conference29th International Colloquium on automata, languages, and programming
    Period8/07/0213/07/02

    Keywords

    • Wiskunde en Informatica
    • Techniek
    • technische Wiskunde en Informatica
    • conference contrib. refereed
    • ZX CWTS JFIS < 1.00
    • ZX Int.klas.verslagjaar < 2002

    Cite this