A Separation Logic with Histories of Epistemic Actions as Resources - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hans van Ditmarsch, Didier Galmiche, Marta Gawek. A Separation Logic with Histories of Epistemic Actions as Resources. In Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Volume 13923 of Lecture Notes in Computer Science, pages 161-177, Springer, 2023. [doi]

This author has not been identified. Look up 'Hans van Ditmarsch' in GoogleThis author has not been identified. Look up 'Didier Galmiche' in GoogleThis author has not been identified. Look up 'Marta Gawek' in Google

runs on WebDSL