Advances in Reasoning Principles for Contextual Equivalence and Termination

Nina Bohr

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

    Original languageEnglish
    PublisherIT-Universitetet i København
    ISBN (Print)978-87-7949-176-2
    Publication statusPublished - 2008

    Cite this