Skip to contents

  1. Pomeret-Coquot, Pierre [Author]; Fargier, Hélène [Author]; Martin-Dorel, Érik [Author] ; Pierre Pomeret-Coquot and Hélène Fargier and Érik Martin-Dorel [Contributor]

    Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023