XDuce公司

此软件的关键字
zbMATH参考文献(参考
54篇文章
参考)
Im,Hyeonseung;Genevès,Pierre;Gesbert,Nils;Layaïda,Nabil:XML查询的反向类型推理(2020) Leinberger,Martin;Lämmel,Ralf;Staab,Steffen:语义数据上函数式编程的本质(2017) Ciobanu,Gabriel;Horne,Ross;Sassone,Vladimiro:RDF模式的描述性类型基础(2016) Kutsia,Temur;Marin,Mircae:正则表达式顺序排序的统一与匹配(2015) Laneve,Cosimo;Padovani,Luca:web服务契约的代数理论(2015) Bonsangue,Marcello;Rot,Jurriaan;Ancona,Davide;de Boer,Frank;Rutten,Jan:共同生产工会类型的煤炭基础(2014年) Dennübasis,and basis questions for sential transformations(大卫•艾斯皮纳(Davidün,2013);语义转换的基础知识(Denn;AspüL,2013) 皮尔斯,大卫J.:有联合,交叉和否定的健全和完全流类型(2013) Seo,Jeongbong;Park,Sungwoo:具有交叉口类型和模态类型的判断子类型系统(2013) Maneth,Sebastian;Friese,Sylvia;Seidl,Helmut:树木行走传感器的类型检查(2012年) Backes,Michael;Hriţcu,Cătălin;Tarrach,Thorsten:自动验证数据处理语言的输入约束(2011) ioport公司 Castagna,Giuseppe;Xu,Zhiwu:参数多态性和亚型化的理论基础(2011) Gesbert,Nils;Genevès,Pierre;Layaïda,Nabil:参数多态性和语义子类型:逻辑联系(2011) Hosoya,Haruo:XML处理的基础。 树自动机方法。 (2011年) 陈磊;陈海明:不相交产生式规则正则树文法的子类型化算法(2010) 松田,Kazutaka;Mu,Shin Cheng;Hu,镇江;Takeichi,Masato:基于语法的可逆程序方法(2010) 2009年,Piducei,Paducei网络服务公司;Piducei公司,2009年 Gelade,Wouter;Martens,Wim;Neven,Frank:优化XML模式语言:数值约束和交错(2009) Genevès,Pierre;Layaïda,Nabil;Quint,Vincent:识别查询与不断发展的XML模式的不兼容性(2009) Martens,Wim;Neven,Frank;Schwentick,Thomas:XML模式和链正则表达式决策问题的复杂性(2009)