Analyzing Context-Free Grammars Using an Incremental SAT Solver

Roland Axelsson, Keijo Heljanko, Martin Lange

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    28 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II
    EditorsLuca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz
    Place of PublicationReykjavik
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication

    Cite this