投资

此软件的关键字
zbMATH中的参考文献(参考
Nishida,Naoki;Vidal,Germanán:计算条件重写系统的更具体版本(2013) Nagashima,Masanori;Sakai,Masahiko;Sakabe,Toshiki:条件术语重写系统的确定(2012) Nishida,Naoki;Vidal,German:尾部递归函数的程序反转(2011) Almendros Jiménez,Jesús M.;Vidal,Germanán:感应顺序函数的自动部分反转(2007) Nishida,Naoki;Sakai,Masahiko;Sakabe,Toshiki:构造函数项重写系统的部分反转(2005) Glück,Robert;Kawabe,Masahiko:基于LR解析的确定性逆程序的推导(2004) Glück,Robert;Kawabe,Masahiko:一个函数语言的程序转换器,具有等式和构造函数。 (2003年) 阿布拉莫夫,谢尔盖;葛吕克,罗伯特:逆计算原理和通用求解算法(2002) 阿布拉莫夫,谢尔盖;葛吕克,罗伯特:通用求解算法:函数语言中的逆计算(2000) 德肖维茨,纳库姆(编辑):重写技术和应用。 第三届国际会议,RTA-89,北卡罗来纳州教堂山,美国,1989年4月3日至5日。 诉讼(1989年)