提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-这些ID-DBLP:phd/hal/Echenim05非盟-埃切尼姆，姆纳乔TI-Déduction et Unification dans les Théories置换。（排列理论中的演绎与统一）。2005年上半年//UR-（欧元）https://tel.archives-ouvertes.fr/tel-00011236急诊室-