Quantitative Equational Reasoning

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Quantitative Equational Reasoning'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science

Agricultural and Biological Sciences