Jérôme Puisségur
- Dynamic Logic of Common Knowledge in a Proof Assistant
2007/12/19 by Pierre Lescanne, Lescanne, Pierre, Jérôme Puisségur +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies