Guillaume Aucher

1. On the Complexity of Dynamic Epistemic Logic
   2013/10/23 by Guillaume Aucher, Aucher, Guillaume, François Schwarzentruber +1 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Formal Methods in Verification