Research outputs (1)

1. Published

   Advances in Reasoning Principles for Contextual Equivalence and Termination

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