Login / Signup
On the Complexity of Dynamic Epistemic Logic.
Guillaume Aucher
François Schwarzentruber
Published in:
CoRR (2013)
Keyphrases
</>
dynamic epistemic logic
computational complexity
object oriented
test set
orders of magnitude