Author:
Dundua Besik,Kutsia Temur,Marin Mircea
Funder
Shota Rustaveli National Science Foundation
FWF
Subject
Computational Mathematics,Algebra and Number Theory
Reference47 articles.
1. Unification theory;Baader,2001
2. Complexity of matching problems;Benanav;J. Symb. Comput.,1987
3. Mathematica as a rewrite language;Buchberger,1996
4. Theorema: towards computer-aided mathematical theory exploration;Buchberger;J. Appl. Log.,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献