Up a level |
Number of items: 2.
Van Ditmarsch, Hans, Van Der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe
(2020)
Arrow Update Synthesis.
Information and Computation.
van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2020)
Arrow update synthesis.
INFORMATION AND COMPUTATION, 275.
p. 104544.