Hans van Ditmarsch (LORIA \^A-- CNRS
Identifiers
No identifiers captured yet.
Papers (1)
- A Logic for Global and Local Announcements cs.LO · 2017 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- France) 1 shared papers
- Francesco Belardinelli (Labortoire IBISC 1 shared papers
- IRIT Toulouse) 1 shared papers
- Liverpool 1 shared papers
- UEVE 1 shared papers
- UK) 1 shared papers
- Universit\'e de Lorraine 1 shared papers
- University of Liverpool 1 shared papers
- Vandoeuvre-l\`es-Nancy 1 shared papers
- Wiebe van der Hoek (Department of Computing 1 shared papers