Two Applications of Equational Theories to Database Theory.
Proc. of the first international conference on Rewriting techniques and applications(1985)
关键词
Word Problem, Equational Theory, Transitive Closure, Horn Clause, Proof Procedure
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络