WSDFU

此软件的关键字
zbMATH中的参考文献(参考文献 9条 , 1标准件 )
Glück,Robert:多项式时间下的最大多变量部分求值(2016) 葛鲁克,罗伯特:第四个富村投影的实验(2010) ioport公司 乔森,彼得A。; 约翰诺德兰德:高阶值调用语言的正超编译(2010) 葛鲁克,罗伯特:琼斯最优性和BTI通用专家的调查(2008) 安托夫特,托本; 康塞尔,查尔斯; 丹维,奥利弗; Malmkjær,卡罗琳:字符串匹配程序的抽象和实例化(2002) 富村、吉彦; 小井,曾次郎; Glück,Robert:WSDFU:基于广义部分计算的程序转换系统(2002) 富村、吉彦; 小井,曾次郎; 葛吕克,罗伯特:基于广义部分计算的程序转换系统(2002) 卡明,山姆; 卡拉汉,米兰达; 克劳森,拉尔斯:轻量级和生成性组件。 二: 二进制级组件(2000) 宋立通; Futamura,Yoshihiko:专业化的新终止方法(2000)