Aarhus Universitets logo
English
Title:Topics in Computational Social Choice: Voting, Stable Matchings, and Fair Division
Abstract: Computational social choice is a field at the…
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Side 33 af 80