Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant).
E. Soubiran. École Polytechnique, Palaiseau, France, (2010)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Soubiran10
%A Soubiran, Elie
%D 2010
%K
%T Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant).
@phdthesis{phd/hal/Soubiran10,
added-at = {2023-12-13T03:11:52.000+0100},
author = {Soubiran, Elie},
biburl = {https://www.bibsonomy.org/bibtex/27a3958469d6e04a9afae7eb1005333af/admin},
ee = {https://tel.archives-ouvertes.fr/tel-00679201},
interhash = {8888c751c2a140787d8d68f14ac14da8},
intrahash = {7a3958469d6e04a9afae7eb1005333af},
keywords = {},
school = {École Polytechnique, Palaiseau, France},
timestamp = {2023-12-13T03:11:52.000+0100},
title = {Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant).},
year = 2010
}