ITU
Nina Bohr

Nina Bohr

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (1)

  1. Published

    Advances in Reasoning Principles for Contextual Equivalence and Termination

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

ID: 264909