( en | de | ru )

 

Disambiguierung von "Goubault, Éric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die.

, , und . STACS, Volume 219 von LIPIcs, Seite 33:1-33:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Éric Fusy

Éric Jaeger

Éric Marchand

Éric Faurot

Gerda Erich

 

Weitere Publikationen von Autoren mit dem selben Namen

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