Probabilistic Inference and Monadic Second Order Logic

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

    Original languageEnglish
    Title of host publicationProceedings 7th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science IFIP-TCS 2012
    EditorsJ.C.M. Baeten, T. Ball, F. de Boer
    Place of PublicationBerlin/Heidelberg
    PublisherSpringer
    Pages43-56
    Number of pages14
    DOIs
    Publication statusPublished - 26 Sept 2012

    Cite this