Simulating Parity Reasoning

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

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publication19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013
    Pages568-583
    ISBN (Electronic)978-3-642-45221-5
    DOIs
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameLecture Notes in Computer Science
    Volume8312

    Cite this

    Laitinen, T., Junttila, T., & Niemelä, I. (2013). Simulating Parity Reasoning. In 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013 (pp. 568-583). (Lecture Notes in Computer Science; Vol. 8312). https://doi.org/10.1007/978-3-642-45221-5_38