@inproceedings{abdessamad:inria-00107574, TITLE = {{Development of Transformation Functions Assisted by a Theorem Prover}}, AUTHOR = {Abdessamad, Imine and Molli, Pascal and Oster, G{\'e}rald and Rusinowitch, Micha{\"e}l}, URL = {https://inria.hal.science/inria-00107574}, NOTE = {Colloque sans acte {\`a} diffusion restreinte. internationale.}, BOOKTITLE = {{Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002}}, ADDRESS = {Nouvelle-Orl{\'e}ans, USA}, HAL_LOCAL_REFERENCE = {A02-R-161 || imine02a}, PAGES = {8 p}, YEAR = {2002}, KEYWORDS = {prouveur de theoreme ; theorem prover ; transformational approach ; transformation functions ; transformees operationnelles ; fonctions de transformation ; xml}, PDF = {https://inria.hal.science/inria-00107574/file/A02-R-161.pdf}, HAL_ID = {inria-00107574}, HAL_VERSION = {v1}, }