%0 Thesis %1 phd/hal/Charrier18 %A Charrier, Tristan %D 2018 %K dblp %T Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach. (Complexité théorique du raisonnement en logique épistémique dynamique et étude d'une approche symbolique).

@phdthesis{phd/hal/Charrier18, added-at = {2022-12-14T00:00:00.000+0100}, author = {Charrier, Tristan}, biburl = {https://www.bibsonomy.org/bibtex/2f45db2cdb1dbc83501cd27f8171c50e1/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-03881830}, interhash = {88b8a2c671c9fcbe2a51d1b9e76907cf}, intrahash = {f45db2cdb1dbc83501cd27f8171c50e1}, keywords = {dblp}, school = {University of Rennes 1, France}, timestamp = {2024-04-09T09:06:16.000+0200}, title = {Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach. (Complexité théorique du raisonnement en logique épistémique dynamique et étude d'une approche symbolique).}, year = 2018 }