Fingeraftryk
Dyk ned i forskningsemnerne om 'Quantitative Equational Reasoning'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Quantitative Equational Reasoning
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review