Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hans van Ditmarsch

Neighbourhood Contingency Bisimulation

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Modelling Cryptographic Keys in Dynamic Epistemic Logic With DEMO

Highlights on Practical Applications of Agents and Multi-Agent Systems

English