Formal derivation of a stable marriage algorithm

A. Bijlsma

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Vingerafdruk

Duik in de onderzoeksthema's van 'Formal derivation of a stable marriage algorithm'. Samen vormen ze een unieke vingerafdruk.