Electronic Proceedings in Theoretical Computer Science, 2075-2180

Journal

View graph of relations

Related Publications
  1. How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions

    Gattinger, M. & Wang, Y., 22-Jul-2019, In : Electronic Proceedings in Theoretical Computer Science. 297, p. 206-220 15 p., 14.

    Research output: Contribution to journalArticleAcademicpeer-review

  2. A Typed Model for Dynamic Authorizations

    Ghilezan, S., Jaksic, S., Pantovic, J., Perez, J. A. & Vieira, H. T., 2016, In : Electronic Proceedings in Theoretical Computer Science. 203, p. 73-84 12 p.

    Research output: Contribution to journalArticleAcademicpeer-review

View all (2) »

ID: 52134982