( en | de | ru )

 

Disambiguation of "Goubault, Éric"

Author of the publication

copydeleteadd this publication to your clipboard
A Dynamic Epistemic Logic Analysis of the Equality Negation Task.

, , , and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.
DOI: 10.1007/978-3-030-38808-9_4

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Éric Fusy

Éric Jaeger

Éric Marchand

Éric Faurot

Friederike Erichsen-Wendt

 

Other publications of authors with the same name

Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper)., , and . CICM Workshops, volume 2307 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die., , and . STACS, volume 219 of LIPIcs, page 33:1-33:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Many-Sorted Epistemic Logic for Chromatic Hypergraphs., , and . CSL, volume 288 of LIPIcs, page 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Concurrent Specifications Beyond Linearizability., , and . OPODIS, volume 125 of LIPIcs, page 28:1-28:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks, , , , and . Journal of Logical and Algebraic Methods in Programming, (2021)#journal.Semi-Simplicial Set Models for Distributed Knowledge., , , and . LICS, page 1-13. IEEE, (2023)A Dynamic Epistemic Logic Analysis of the Equality Negation Task., , , and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.Wait-Free Solvability of Equality Negation Tasks., , , and . DISC, volume 146 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Brief Announcement: On the Impossibility of Detecting Concurrency., , and . DISC, volume 121 of LIPIcs, page 50:1-50:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Models of fault-tolerant distributed computation via dynamic epistemic logic., and . CoRR, (2017)