Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

Edmund M Clarke (Editor), Andrei Voronkov (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    PublisherSpringer Nature
    Volume6355
    ISBN (Print)978-3-642-17510-7
    Publication statusPublished - 2010
    EventLPAR (Dakar) -
    Duration: 1 Jan 1824 → …

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Conference

    ConferenceLPAR (Dakar)
    Period1/01/24 → …

    Cite this