Dcpts. of Comp. Science and Electr. and Comp. Eng., Univ. of New Mexico, USA;
School of Comp. Science, Univ. Politecnica de Madrid, Spain and IMDEA-Software;
Dcpts. of Comp. Science and Electr. and Comp. Eng., Univ. of New Mexico, USA School of Comp. Science, Univ. Politecnica de Madrid, Spain and IMDEA-Software;
and-parallelism; high-level implementation; prolog;
机译:通过部分评估对独立AND并行性的逻辑程序进行批注
机译:并行回溯和答案备忘,可实现独立和并行
机译:RISC处理器的高级实现独立的功能软件自检
机译:非确定性,不受限制,独立和平行性的高级别实施
机译:声明式多范例语言中的自动无限制的独立和并行性。
机译:指数计算更快:使用DNA实现不确定的通用图灵机
机译:非确定性,不受限制,独立和平行的高层实现
机译:DIEss(领域独立专家系统shell) - 独立于域的专家系统shell的prolog实现