Skip to Main content
Number of documents

3

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Hans van Ditmarsch   

Journal articles2 documents

Conference papers1 document

  • Laura Bozzelli, Hans P. Van Ditmarsch, Sophie Pinchinat. The Complexity of One-Agent Refinement Modal Logic. IJCAI 2013 - 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. ⟨hal-01098744⟩