Its input language is based on DATALOG and graph rewriting.
它的输入语言是基于DATALOG和图形再编写。
These results can direct the implementing of term rewriting system by graph rewriting system.
以上结果能够用于指导项重写的图实现。
These results can direct the implementing of term rewriting system by graph rewriting system.
以上结果能够用于指导项重写的图实现。
应用推荐