Advances in Reasoning Principles for Contextual Equivalence and Termination

Nina Bohr

    Publikation: Afhandlinger › Ph.d.-afhandling

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Advances in Reasoning Principles for Contextual Equivalence and Termination'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science