@phdthesis{kirchner:pastel-00003192, TITLE = {{Syst{\`e}mes de preuve interop{\'e}rables.}}, AUTHOR = {Kirchner, Florent}, URL = {https://pastel.hal.science/pastel-00003192}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2007}, MONTH = Jun, KEYWORDS = {Preuve interop{\'e}rable}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00003192/file/Kirchner.pdf}, HAL_ID = {pastel-00003192}, HAL_VERSION = {v1}, }