Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming

机译：交互网络和术语重写系统

机译：从Hyperedge更换到分离逻辑再返回

机译：用重写逻辑编写程序以进行声明式编程

机译：非应重写系统的绑架逻辑编程

机译：同步Hyperedge替换图文法

机译：残疾当量：用于比较其他健康计划的逻辑系统。

机译：用于术语重写系统和编程的Hyperedge替换丛林重写

机译：分析学习和术语重写系统

机译：可重写替换介质写方法，可重写替换介质写程序，具有已记录程序的可记录介质以及用于信息交换的介质

机译：可编程逻辑元件和用于可编程逻辑元件的数据重写系统

机译：加密设备，加密方法，加密程序，带有加密程序的计算机可读记录介质，解码器，解码方法，解码程序，带有代码的记录，记录，记录，记录，记录的系统，计算机可读记录介质，记录号码生成设备，替换设备，量子加密设备和加密设备