Quantitative Equational Reasoning

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Fingerprint

Dive into the research topics of 'Quantitative Equational Reasoning'. Together they form a unique fingerprint.

Mathematics