Author:
Hurault Aurélie,Pantel Marc
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. Unification theory;Baader,2001
2. An updated set of Basic Linear Algebra Subprograms (BLAS);Blackford;ACM Trans. Math. Softw.,2002
3. Matching - a special case of unification?;Bürckert;J. Symb. Comput.,1989
4. Decidable matching for convergent systems;Dershowitz,1992
5. Complete sets of unifiers and matchers in equational theories;Fages;Theor. Comput. Sci.,1986
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献