Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab