@techreport{lamarche:inria-00099779, TITLE = {{Vers une G{\'e}om{\'e}trie Symbolique}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00099779}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {A03-R-423 || lamarche03a}, PAGES = {8 p}, YEAR = {2003}, KEYWORDS = {rewriting ; rewriting modulo ; state space ; algebraic geometry ; topos theory ; domain theory ; dynamic system ; r{\'e}{\'e}criture modulo ; espace d'{\'e}tats ; g{\'e}om{\'e}trie alg{\'e}brique ; topos ; th{\'e}orie des domaines ; syst{\`e}me dynamique ; concurrence ; concurrency ; r{\'e}{\'e}criture}, HAL_ID = {inria-00099779}, HAL_VERSION = {v1}, }