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).
T. Charrier. University of Rennes 1, France, (2018)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}
