提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:journals/entcs/TourE03非盟巡回赛，蒂埃里·博伊·德拉AU-埃切宁，姆纳乔TI-关于叶置换理论和发生置换群。BT-第四届一阶定理证明国际研讨会，FTP 2003，与RDP 2003有关，重写、推导和编程联合会议，西班牙巴伦西亚，2003年6月12-14日第61页EP-752003年上半年//DO-2016年10月10日/S1571-0661（04）80653-4UR-（欧元）https://doi.org/10.1016/S1571-0661（04）80653-4急诊室-