Functional logic programming languages; Program analysis; Implementation;
机译:具有约束的函数逻辑编程的新通用方案
机译:可编程逻辑控制器中多智能体系统的功能
机译:通过指纹可编程逻辑控制器功能检测控制系统的不良行为
机译:功能逻辑程序的模块化和通用分析服务器系统
机译:加工系统的模块化逻辑控制器:一种建模和分析方法。
机译:勘误:用于系统方法的流体逻辑以实现集成的单细胞功能分析
机译:用于功能逻辑程序的模块化和通用分析服务器系统
机译:高阶逻辑中安全分布式系统的验证:使用通用组件的模块化方法。