玩具

此软件的关键字
zbMATH参考文献(参考
55篇文章
Antoy,Sergio;Jost,Andy:编译函数逻辑语言:\textitTheFair Scheme(2014) López Fraguas,Francisco J.;Martin Martin,Enrique;Rodríguez Hortalá,Juan:具有不透明模式和本地绑定的功能逻辑程序的安全类型(2014) Riesco,Adrián;Rodríguez Hortalá,Juan:函数逻辑编程的单数和复数函数(2014) Hanus,Michael:函数逻辑编程:从理论到Curry(2013) Almendros Jiménez,J.M.;Caballero,R.;García-Ruiz,Y.;Sáenz-Pérez,F.:函数逻辑语言中的XPath查询处理(2012) ioport公司 Estévez Martín,Sonia;Correas Fernández,Jesús;sáenz-Pérez,Fernando:用(\mathrmECL^i\mathrmPS^e)解算器扩展(\mathcalTOY)系统(2012) Hanus,Michael:通过需求分析改进懒惰的非确定性计算(2012) Braßel,Bernd;Fischer,Sebastian;Hanus,Michael;Reck,Fabian:将函数逻辑程序转换为单体函数程序(2011) del Vado Vírseda,Rafael:数值约束域高阶合作的理论框架(2011) del Vado Vírseda,Rafael:高阶泛函与逻辑规划中代数约束域的合作(2011) Hanus,Michael:函数逻辑程序的懒惰和可执行断言(2011) ioport公司 Maria Alpuente;Ballis,Demis;Falaschi,Moreno:功能逻辑程序的转换和调试(2010) alpunte,M.;Ballis,D.;Correa,F.;Falaschi,M.:基于规则程序诊断和纠正的集成框架(2010) alpunte,M.;Comini,M.;Escobar,S.;Falaschi,M.;Iborra,J.:术语重写系统的紧凑不动点语义(2010) 安托伊,塞吉奥:编程与缩小:教程(2010) del Vado Vírseda,Rafael;Castiñeiras,Ignacio:用lambda抽象对函数逻辑程序进行声明性调试的理论框架(2010) Nishida,Naoki;Vidal,Germanán:通过终止重写终止缩小范围(2010) del Vado Vírseda,Rafael:声明性约束编程中调试的逻辑框架(2009) 布拉•艾尔,伯恩德;克里斯蒂安森,简:通过转换来表示。 通过转换到无点风格获得指称语义(2008) Caballero,Rafael;Rodríguez Artalejo,Mario;del Vado Vírseda,Rafael:约束函数逻辑编程中缺失答案的声明性诊断(2008)