Arrow Update Synthesis


Van Ditmarsch, Hans, Van Der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe (2020) Arrow Update Synthesis. Information and Computation.

[img] Text
11arrowsynthesis.pdf - Author Accepted Manuscript
Download (475kB) | Preview
Item Type: Article
Depositing User: Symplectic Admin
Date Deposited: 10 Mar 2020 11:43
Last Modified: 18 Jan 2023 23:58
DOI: 10.1016/j.ic.2020.104544
URI: https://livrepository.liverpool.ac.uk/id/eprint/3078459
Dimensions
Altmetric
CORE (COnnecting REpositories)